Constant seL4_LargePageBits 

pub const seL4_LargePageBits: u32 = 22;