sel4_sys::_object

Constant seL4_ARM_VCPUObject

Source 
pub const seL4_ARM_VCPUObject: Type = 10;