Constant sel4_sys::seL4_PageDirIndexBits

pub const seL4_PageDirIndexBits: u32 = 9;