pub const __HYPERVISOR_nmi_op: u32 = 28;