Symbol: ulpt_watchdog
sys/bus/u4b/serial/ulpt.c
125
static void ulpt_watchdog(void *);
sys/bus/u4b/serial/ulpt.c
642
ulpt_watchdog(sc);
sys/bus/u4b/serial/ulpt.c
734
hz, &ulpt_watchdog, sc);