Symbol: sysmon_wdog_ktickle
sys/dev/sysmon/sysmon_wdog.c
500
sysmon_wdog_ktickle, NULL);
sys/dev/sysmon/sysmon_wdog.c
528
sysmon_wdog_ktickle, NULL);
sys/dev/sysmon/sysmon_wdog.c
74
void sysmon_wdog_ktickle(void *);