pub const __HYPERVISOR_xenpmu_op: u32 = 40;