seL4_HugePageBits

Constant seL4_HugePageBits 

Source
pub const seL4_HugePageBits: u32 = 30;