safe_halt
pv_ops.irq.safe_halt = tdx_safe_halt;
PVOP_VCALL0(pv_ops, irq.safe_halt);
void (*safe_halt)(void);
safe_halt();
.irq.safe_halt = pv_native_safe_halt,
pv_ops.irq.safe_halt = xen_safe_halt;
safe_halt();
safe_halt();
safe_halt();
safe_halt();