Constant sel4_sys::seL4_IOPageTableBits

pub const seL4_IOPageTableBits: u32 = 12;