Constant seL4_HugePageBits 

pub const seL4_HugePageBits: u32 = 30;