Constant sel4_sys::seL4_PageDirEntryBits

pub const seL4_PageDirEntryBits: u32 = 3;