Searched refs:monitor_flush_locked (Results 1 – 3 of 3) sorted by relevance
146 monitor_flush_locked(mon); in monitor_unblocked()151 void monitor_flush_locked(Monitor *mon) in monitor_flush_locked() function186 monitor_flush_locked(mon); in monitor_flush()202 monitor_flush_locked(mon); in monitor_puts_locked()
1421 monitor_flush_locked(mon); in monitor_event()
44 void monitor_flush_locked(Monitor *mon);