sel4_sys

Constant VECTOR_MAX

Source
pub const VECTOR_MAX: u32 = 109;