__PV_CALLEE_SAVE_REGS_THUNK
__PV_CALLEE_SAVE_REGS_THUNK(func, ".text")
__PV_CALLEE_SAVE_REGS_THUNK(__pv_queued_spin_unlock_slowpath, ".spinlock.text");
__PV_CALLEE_SAVE_REGS_THUNK(__pv_queued_spin_unlock, ".spinlock.text");