linux/arch/x86/kernel/paravirt-spinlocks.c

// SPDX-License-Identifier: GPL-2.0
/*
 * Split spinlock implementation out into its own file, so it can be
 * compiled in a FTRACE-compatible way.
 */
#include <linux/spinlock.h>
#include <linux/export.h>
#include <linux/jump_label.h>

#include <asm/paravirt.h>

__visible void __native_queued_spin_unlock(struct qspinlock *lock)
{ … }
PV_CALLEE_SAVE_REGS_THUNK(…);

bool pv_is_native_spin_unlock(void)
{ … }

__visible bool __native_vcpu_is_preempted(long cpu)
{ … }
PV_CALLEE_SAVE_REGS_THUNK(…);

bool pv_is_native_vcpu_is_preempted(void)
{ … }

void __init paravirt_set_cap(void)
{ … }