Constant sel4_sys::seL4_True

source · 
pub const seL4_True: u32 = 1;