Constant sel4_sys::_mode_object::seL4_ARM_VSpaceObject

pub const seL4_ARM_VSpaceObject: Type = 8;