/* * sysmon_wdog_ktickle: * * Kernel watchdog tickle routine. */