Constant sel4_sys::_mode_object::seL4_ARM_HugePageObject

pub const seL4_ARM_HugePageObject: Type = 7;