PV_CALLEE_SAVE
pv_ops_lock.queued_spin_unlock = PV_CALLEE_SAVE(__pv_queued_spin_unlock);
pv_ops_lock.vcpu_is_preempted = PV_CALLEE_SAVE(hv_vcpu_is_preempted);
PV_CALLEE_SAVE(__pv_queued_spin_unlock);
PV_CALLEE_SAVE(__kvm_vcpu_is_preempted);
.queued_spin_unlock = PV_CALLEE_SAVE(__native_queued_spin_unlock),
.vcpu_is_preempted = PV_CALLEE_SAVE(__native_vcpu_is_preempted),
pv_ops.mmu.make_pte = PV_CALLEE_SAVE(xen_make_pte);
pv_ops.mmu.pte_val = PV_CALLEE_SAVE(xen_pte_val);
pv_ops.mmu.pgd_val = PV_CALLEE_SAVE(xen_pgd_val);
pv_ops.mmu.make_pte = PV_CALLEE_SAVE(xen_make_pte_init);
pv_ops.mmu.make_pgd = PV_CALLEE_SAVE(xen_make_pgd);
pv_ops.mmu.make_pmd = PV_CALLEE_SAVE(xen_make_pmd);
pv_ops.mmu.pmd_val = PV_CALLEE_SAVE(xen_pmd_val);
pv_ops.mmu.pud_val = PV_CALLEE_SAVE(xen_pud_val);
pv_ops.mmu.make_pud = PV_CALLEE_SAVE(xen_make_pud);
pv_ops.mmu.p4d_val = PV_CALLEE_SAVE(xen_p4d_val);
pv_ops.mmu.make_p4d = PV_CALLEE_SAVE(xen_make_p4d);
PV_CALLEE_SAVE(__pv_queued_spin_unlock);
pv_ops_lock.vcpu_is_preempted = PV_CALLEE_SAVE(xen_vcpu_stolen);