Changed ticketlock_t to spinlock_t per Marionumber1's request