Constant xen_sys::__HYPERVISOR_vcpu_op

pub const __HYPERVISOR_vcpu_op: u32 = 24;