Constant seL4_IOPageTableBits 

pub const seL4_IOPageTableBits: u32 = 12;