KERN_WATCHDOG     267 kern/kern_sysctl.c 		case KERN_WATCHDOG:
KERN_WATCHDOG     511 kern/kern_sysctl.c 	case KERN_WATCHDOG: