Constant seL4_IOPageTableBits

pub const seL4_IOPageTableBits: u32 = 12;