Constant sel4_common::sel4_config::seL4_HugePageBits

source · 
pub const seL4_HugePageBits: usize = 30;