Searched refs:write_cache_op (Results 1 – 1 of 1) sorted by relevance
66 static inline void write_cache_op(uintptr_t addr, bool cached) in write_cache_op() function122 write_cache_op((uintptr_t)my_bakery_info, is_cached); in bakery_get_ticket()157 write_cache_op((uintptr_t)my_bakery_info, is_cached); in bakery_get_ticket()250 write_cache_op((uintptr_t)my_bakery_info, is_cached); in bakery_lock_release()