87 				    bool is_cached)  in is_lock_acquired()  argument
97 	read_cache_op((uintptr_t)my_bakery_info, is_cached);  in is_lock_acquired()
102 				      unsigned int me, bool is_cached)  in bakery_get_ticket()  argument
116 	assert(!is_lock_acquired(my_bakery_info, is_cached));  in bakery_get_ticket()
125 	write_cache_op((uintptr_t)my_bakery_info, is_cached);  in bakery_get_ticket()
142 		read_cache_op((uintptr_t)their_bakery_info, is_cached);  in bakery_get_ticket()
160 	write_cache_op((uintptr_t)my_bakery_info, is_cached);  in bakery_get_ticket()
171 	bool is_cached;  in bakery_lock_get()  local
174 	is_cached = is_dcache_enabled();  in bakery_lock_get()
177 	my_ticket = bakery_get_ticket(lock, me, is_cached);  in bakery_lock_get()
197 			read_cache_op((uintptr_t)their_bakery_info, is_cached);  in bakery_lock_get()
215 				read_cache_op((uintptr_t)their_bakery_info, is_cached);  in bakery_lock_get()
232 	bool is_cached = is_dcache_enabled();  in bakery_lock_release()  local
236 	assert(is_lock_acquired(my_bakery_info, is_cached));  in bakery_lock_release()
246 	write_cache_op((uintptr_t)my_bakery_info, is_cached);  in bakery_lock_release()