Constant sel4_sys::_object::seL4_ARM_LargePageObject

pub const seL4_ARM_LargePageObject: Type = 10;