sel4_sys

Constant VECTOR_MIN

Source 
pub const VECTOR_MIN: u32 = 0;