DBGC_SETABORT     739 bsp/drv/dev/base/kd.c 	dbgctl(DBGC_SETABORT, &kd_abort_ops);
DBGC_SETABORT     193 sys/kern/debug.c 	case DBGC_SETABORT: