__ticket_t         16 arch/x86/include/asm/spinlock_types.h typedef u8  __ticket_t;
__ticket_t         19 arch/x86/include/asm/spinlock_types.h typedef u16 __ticket_t;