sel4_sys

Constant seL4_PageDirBits

Source
pub const seL4_PageDirBits: u32 = 14;