Constant sel4_sys::seL4_NumExclusiveBreakpoints

source ยท
pub const seL4_NumExclusiveBreakpoints: u32 = 6;