PV_CALLEE_SAVE_REGS_THUNK
PV_CALLEE_SAVE_REGS_THUNK(hv_vcpu_is_preempted);
PV_CALLEE_SAVE_REGS_THUNK(__kvm_vcpu_is_preempted);
PV_CALLEE_SAVE_REGS_THUNK(__native_queued_spin_unlock);
PV_CALLEE_SAVE_REGS_THUNK(__native_vcpu_is_preempted);
PV_CALLEE_SAVE_REGS_THUNK(xen_make_pte_init);
PV_CALLEE_SAVE_REGS_THUNK(xen_pte_val);
PV_CALLEE_SAVE_REGS_THUNK(xen_pgd_val);
PV_CALLEE_SAVE_REGS_THUNK(xen_make_pte);
PV_CALLEE_SAVE_REGS_THUNK(xen_make_pgd);
PV_CALLEE_SAVE_REGS_THUNK(xen_pmd_val);
PV_CALLEE_SAVE_REGS_THUNK(xen_make_pmd);
PV_CALLEE_SAVE_REGS_THUNK(xen_pud_val);
PV_CALLEE_SAVE_REGS_THUNK(xen_make_pud);
PV_CALLEE_SAVE_REGS_THUNK(xen_p4d_val);
PV_CALLEE_SAVE_REGS_THUNK(xen_make_p4d);
PV_CALLEE_SAVE_REGS_THUNK(xen_vcpu_stolen);