| #define LOCK_NAME "ck_ticket_pb" | |
| #define LOCK_DEFINE static ck_spinlock_ticket_t CK_CC_CACHELINE lock = CK_SPINLOCK_TICKET_INITIALIZER | |
| #define LOCK ck_spinlock_ticket_lock_pb(&lock, 0) | |
| #define UNLOCK ck_spinlock_ticket_unlock(&lock) | |
| #define LOCKED ck_spinlock_ticket_locked(&lock) | |