Constant xen_sys::__HYPERVISOR_sched_op_compat

pub const __HYPERVISOR_sched_op_compat: u32 = 6;