arch_spinlock     715 arch/x86/include/asm/paravirt.h static __always_inline void __ticket_lock_spinning(struct arch_spinlock *lock,
arch_spinlock     721 arch/x86/include/asm/paravirt.h static __always_inline void __ticket_unlock_kick(struct arch_spinlock *lock,
arch_spinlock     329 arch/x86/include/asm/paravirt_types.h struct arch_spinlock;
arch_spinlock     338 arch/x86/include/asm/paravirt_types.h 	void (*unlock_kick)(struct arch_spinlock *lock, __ticket_t ticket);