__PV_IS_CALLEE_SAVE
#define PTE_IDENT __PV_IS_CALLEE_SAVE(_paravirt_ident_64)
.irq.save_fl = __PV_IS_CALLEE_SAVE(pv_native_save_fl),
.irq.irq_disable = __PV_IS_CALLEE_SAVE(pv_native_irq_disable),
.irq.irq_enable = __PV_IS_CALLEE_SAVE(pv_native_irq_enable),
.mmu.read_cr2 = __PV_IS_CALLEE_SAVE(pv_native_read_cr2),
pv_ops.irq.save_fl = __PV_IS_CALLEE_SAVE(xen_save_fl_direct);
pv_ops.irq.irq_disable = __PV_IS_CALLEE_SAVE(xen_irq_disable_direct);
pv_ops.irq.irq_enable = __PV_IS_CALLEE_SAVE(xen_irq_enable_direct);
pv_ops.mmu.read_cr2 = __PV_IS_CALLEE_SAVE(xen_read_cr2_direct);
pv_ops.irq.save_fl = __PV_IS_CALLEE_SAVE(paravirt_ret0);
pv_ops.irq.irq_disable = __PV_IS_CALLEE_SAVE(paravirt_nop);
pv_ops.irq.irq_enable = __PV_IS_CALLEE_SAVE(BUG_func);
pv_ops.mmu.read_cr2 = __PV_IS_CALLEE_SAVE(xen_read_cr2);