Constant seL4_GuardSizeBits 

pub const seL4_GuardSizeBits: u32 = 5;