Constant sel4_sys::seL4_NumASIDPoolsBits

source ยท
pub const seL4_NumASIDPoolsBits: u32 = 7;