Searched refs:monitor_close (Results 1 – 2 of 2) sorted by relevance
244 extern void monitor_close (int quitting);
858 monitor_close (int quitting) in monitor_close() function2251 monitor_ops.to_close = monitor_close; in init_base_monitor_ops()