sel4_sys::_mode_object

Constant seL4_ARM_HugePageObject

Source 
pub const seL4_ARM_HugePageObject: Type = 7;