Lines Matching defs:their_bakery_info

106 	bakery_info_t *my_bakery_info, *their_bakery_info;
139 		their_bakery_info = get_bakery_info(they, lock);
140 		assert(their_bakery_info != NULL);
142 		read_cache_op((uintptr_t)their_bakery_info, is_cached);
148 		their_ticket = bakery_ticket_number(their_bakery_info->lock_data);
169 	bakery_info_t *their_bakery_info;
192 		their_bakery_info = get_bakery_info(they, lock);
193 		assert(their_bakery_info != NULL);
197 			read_cache_op((uintptr_t)their_bakery_info, is_cached);
198 			their_bakery_data = their_bakery_info->lock_data;
215 				read_cache_op((uintptr_t)their_bakery_info, is_cached);
217 				== bakery_ticket_number(their_bakery_info->lock_data));