Symbol: ctuwatch
sys/arch/vax/vax/ctu.c
182
callout_reset(&ctu_watch_ch, hz, ctuwatch, NULL);
sys/arch/vax/vax/ctu.c
500
callout_reset(&ctu_watch_ch, hz, ctuwatch, NULL);
sys/arch/vax/vax/ctu.c
83
static void ctuwatch(void *);