__ticketpair_t     16 arch/x86/include/asm/spinlock_types.h typedef u16 __ticketpair_t;
__ticketpair_t     19 arch/x86/include/asm/spinlock_types.h typedef u32 __ticketpair_t;