Constant sel4_common::sel4_config::RISCVGigaPageBits

source · 
pub const RISCVGigaPageBits: usize = 30;