Searched refs:their_bakery_info (Results 1 – 1 of 1) sorted by relevance
106 bakery_info_t *my_bakery_info, *their_bakery_info; in bakery_get_ticket() local139 their_bakery_info = get_bakery_info(they, lock); in bakery_get_ticket()140 assert(their_bakery_info != NULL); in bakery_get_ticket()142 read_cache_op((uintptr_t)their_bakery_info, is_cached); in bakery_get_ticket()148 their_ticket = bakery_ticket_number(their_bakery_info->lock_data); in bakery_get_ticket()169 bakery_info_t *their_bakery_info; in bakery_lock_get() local192 their_bakery_info = get_bakery_info(they, lock); in bakery_lock_get()193 assert(their_bakery_info != NULL); in bakery_lock_get()197 read_cache_op((uintptr_t)their_bakery_info, is_cached); in bakery_lock_get()198 their_bakery_data = their_bakery_info->lock_data; in bakery_lock_get()[all …]