Searched refs:monitor_exit (Results 1 – 3 of 3) sorted by relevance
64 void monitor_exit(int) __dead;
147 monitor_exit(int code) in monitor_exit() function658 monitor_exit(0); in must_read()683 monitor_exit(0); in must_write()
372 monitor_exit(1); in log_fatal()383 monitor_exit(1); in log_fatalx()