Constant sel4_sys::seL4_ASIDPoolBits

pub const seL4_ASIDPoolBits: u32 = 12;