Constant xen_sys::__HYPERVISOR_xc_reserved_op

pub const __HYPERVISOR_xc_reserved_op: u32 = 39;