__ticket_t        333 arch/x86/include/asm/paravirt_types.h typedef u16 __ticket_t;
__ticket_t         15 arch/x86/include/asm/spinlock_types.h typedef u8  __ticket_t;
__ticket_t         18 arch/x86/include/asm/spinlock_types.h typedef u16 __ticket_t;