Searched refs:write_cache_op (Results 1 – 1 of 1) sorted by relevance
67 static inline void write_cache_op(uintptr_t addr, bool cached) in write_cache_op() function125 write_cache_op((uintptr_t)my_bakery_info, is_cached); in bakery_get_ticket()160 write_cache_op((uintptr_t)my_bakery_info, is_cached); in bakery_get_ticket()246 write_cache_op((uintptr_t)my_bakery_info, is_cached); in bakery_lock_release()