pub const __HYPERVISOR_xsm_op: u32 = 27;