Constant sel4_sys::seL4_PageTableBits

pub const seL4_PageTableBits: u32 = 12;