Searched refs:monitor_interrupt_query (Results 1 – 1 of 1) 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