Searched refs:monitor_interrupt_twice (Results 1 – 1 of 1) sorted by relevance
74 static void monitor_interrupt_twice (int signo);1001 signal (signo, monitor_interrupt_twice); in monitor_interrupt()1012 monitor_interrupt_twice (int signo) in monitor_interrupt_twice() function