Constant sel4_sys::_object::seL4_ARM_VCPUObject

pub const seL4_ARM_VCPUObject: Type = 12;