Constant sel4_sys::seL4_NumExclusiveWatchpoints

pub const seL4_NumExclusiveWatchpoints: u32 = 4;