The text ed2f20bf0f10, as FreeBSD 10.1-RELEASE shipped it.
hardware and software watchdog
SW_WATCHDOG(4) on FreeBSD now