Constant seL4_NumExclusiveWatchpoints

pub const seL4_NumExclusiveWatchpoints: u32 = 4;