__ticket_spin_is_locked   17 arch/x86/kernel/paravirt-spinlocks.c 	.spin_is_locked = __ticket_spin_is_locked,
__ticket_spin_is_locked  241 include/asm-x86/spinlock.h 	return __ticket_spin_is_locked(lock);