Searched refs:monitor_flush_locked (Results 1 – 3 of 3) sorted by relevance
145 monitor_flush_locked(mon); in monitor_unblocked()150 void monitor_flush_locked(Monitor *mon) in monitor_flush_locked() function185 monitor_flush_locked(mon); in monitor_flush()201 monitor_flush_locked(mon); in monitor_puts_locked()
1421 monitor_flush_locked(mon); in monitor_event()
44 void monitor_flush_locked(Monitor *mon);