Remove "options HW_WDOG"?

[Sean Kelly]

While working on my software watchdog, it has come to my attention that the
"options HW_WDOG" in FreeBSD does absolutely nothing. does anybody actually 
use this code, or can I purge it in favor of the software watchdog?

/usr/src/sys$ find . -type f |xargs grep HW_WDOG
./conf/NOTES:options    HW_WDOG
./conf/options:HW_WDOG
./kern/kern_shutdown.c:#ifdef   HW_WDOG
./kern/kern_shutdown.c:#endif   /* HW_WDOG */

All the bit in kern/kern_shutdown.c does is:

watchdog_tickle_fn wdog_tickler = NULL;

And I can't find that being used anywhere.

-- 
Sean Kelly          | PGP KeyID: D2E5E296
smkelly at FreeBSD.org | http://www.sean-kelly.org/