ipmi_watchdog     158 dev/ipmi.c     int	ipmi_watchdog(void *, int);
ipmi_watchdog    1744 dev/ipmi.c     	wdog_register(sc, ipmi_watchdog);