Searched refs:ck_tflock_ticket_fca_32 (Results 1 – 1 of 1) sorted by relevance
56 ck_tflock_ticket_fca_32(uint32_t *target, uint32_t mask, uint32_t delta) in ck_tflock_ticket_fca_32() function86 previous = ck_tflock_ticket_fca_32(&lock->request, CK_TFLOCK_TICKET_WC_TOPMSK, in ck_tflock_ticket_write_lock()101 ck_tflock_ticket_fca_32(&lock->completion, CK_TFLOCK_TICKET_WC_TOPMSK, in ck_tflock_ticket_write_unlock()111 previous = ck_tflock_ticket_fca_32(&lock->request, in ck_tflock_ticket_read_lock()131 ck_tflock_ticket_fca_32(&lock->completion, CK_TFLOCK_TICKET_RC_TOPMSK, in ck_tflock_ticket_read_unlock()