Constant seL4_ASIDPoolBits 

pub const seL4_ASIDPoolBits: u32 = 12;