Constant xen_sys::__HYPERVISOR_xenoprof_op

pub const __HYPERVISOR_xenoprof_op: u32 = 31;