Searched refs:lock_data (Results 1 – 4 of 4) sorted by relevance
50 assert(bakery_ticket_number(bakery->lock_data[me]) == 0U); in bakery_get_ticket()63 bakery->lock_data[me] = make_bakery_data(CHOOSING_TICKET, my_ticket); in bakery_get_ticket()65 their_ticket = bakery_ticket_number(bakery->lock_data[they]); in bakery_get_ticket()75 bakery->lock_data[me] = make_bakery_data(CHOSEN_TICKET, my_ticket); in bakery_get_ticket()116 their_bakery_data = bakery->lock_data[they]; in bakery_lock_get()135 bakery_ticket_number(bakery->lock_data[they])); in bakery_lock_get()154 assert(bakery_ticket_number(bakery->lock_data[me]) != 0U); in bakery_lock_release()163 bakery->lock_data[me] = 0U; in bakery_lock_release()
98 return bakery_ticket_number(my_bakery_info->lock_data) != 0U; in is_lock_acquired()123 my_bakery_info->lock_data = make_bakery_data(CHOOSING_TICKET, my_ticket); in bakery_get_ticket()148 their_ticket = bakery_ticket_number(their_bakery_info->lock_data); in bakery_get_ticket()158 my_bakery_info->lock_data = make_bakery_data(CHOSEN_TICKET, my_ticket); in bakery_get_ticket()198 their_bakery_data = their_bakery_info->lock_data; in bakery_lock_get()217 == bakery_ticket_number(their_bakery_info->lock_data)); in bakery_lock_get()245 my_bakery_info->lock_data = 0U; in bakery_lock_release()
68 volatile uint16_t lock_data[BAKERY_LOCK_MAX_CPUS]; member88 volatile uint16_t lock_data; member
2136 * The lock_data is a bit-field of 2 members:2141 volatile uint16_t lock_data[BAKERY_LOCK_MAX_CPUS];2180 * The lock_data is a bit-field of 2 members:2185 volatile uint16_t lock_data;
