__ticketpair_t     17 arch/x86/include/asm/spinlock_types.h typedef u16 __ticketpair_t;
__ticketpair_t     20 arch/x86/include/asm/spinlock_types.h typedef u32 __ticketpair_t;