Searched refs:monitor_interrupt_query (Results 1 – 2 of 2) sorted by relevance
75 static void monitor_interrupt_query (void);1016 monitor_interrupt_query (); in monitor_interrupt_twice()1024 monitor_interrupt_query (void) in monitor_interrupt_query() function
13178 * monitor.c (monitor_interrupt_query): Ditto.