Constant seL4_NumExclusiveWatchpoints 

pub const seL4_NumExclusiveWatchpoints: u32 = 4;