sel4_sys

Constant seL4_PageDirIndexBits

Source 
pub const seL4_PageDirIndexBits: u32 = 12;