sel4_sys::_object

Constant seL4_ARM_SmallPageObject

Source
pub const seL4_ARM_SmallPageObject: Type = 6;