src/lib/watchdog.c
static void ping_watchdog()
{
   P(timer_mutex);
   pthread_cond_signal(&timer);
   V(timer_mutex);
   bmicrosleep(0, 100);
}
/*
 * Wake watchdog timer thread so that it walks the
 *  queue and adjusts its wait time (or exits).
 */
Wake watchdog timer thread so that it walks the
queue and adjusts its wait time (or exits).
Wake watchdog timer thread so that it walks the queue and adjusts its wait time ( or exits ) .
static void ping_watchdog()
{
   P(timer_mutex);
   pthread_cond_signal(&timer);
   V(timer_mutex);
   bmicrosleep(0, 100);
}
static void ping_watchdog ( ) { P ( timer_mutex ) ; pthread_cond_signal ( & timer ) ; V ( timer_mutex ) ; bmicrosleep ( 0 , 100 ) ; }
Wake watchdog timer thread so that it walks the
  queue and adjusts its wait time (or exits).
Wake watchdog timer thread so that it walks the queue and adjusts its wait time ( or exits ) .