Constant seL4_SuperSectionBits 

pub const seL4_SuperSectionBits: u32 = 24;