sel4_sys

Constant seL4_PageTableBits

Source
pub const seL4_PageTableBits: u32 = 10;