Constant sel4_sys::seL4_NumExclusiveBreakpoints

source · 
pub const seL4_NumExclusiveBreakpoints: u32 = 6;