Constant seL4_NumASIDPoolsBits 

pub const seL4_NumASIDPoolsBits: u32 = 7;