Constant sel4_sys::seL4_PageDirBits

pub const seL4_PageDirBits: u32 = 12;