sel4_sys::_object

Constant seL4_ARM_LargePageObject

Source 
pub const seL4_ARM_LargePageObject: Type = 8;