Constant sel4_sys::seL4_NumASIDPoolsBits

pub const seL4_NumASIDPoolsBits: u32 = 7;