Searched refs:read_cache_op (Results 1 – 1 of 1) sorted by relevance
76 static inline void read_cache_op(uintptr_t addr, bool cached) in read_cache_op() function94 read_cache_op((uintptr_t)my_bakery_info, is_cached); in is_lock_acquired()139 read_cache_op((uintptr_t)their_bakery_info, is_cached); in bakery_get_ticket()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()