sel4_sys::_object

Constant seL4_ARM_PageTableObject

Source
pub const seL4_ARM_PageTableObject: Type = 9;