Constant sel4_common::sel4_config::asidHighBits

source · 
pub const asidHighBits: usize = 7;