machine_abort      51 sys/include/debug.h #define panic(x)	machine_abort()
machine_abort     132 sys/include/hal.h void	  machine_abort(void);
machine_abort      44 sys/kern/debug.c static abtfn_t	db_abort = &machine_abort;	/* abort handler */
machine_abort     113 sys/kern/device.c 	/* 34 */ DKIENT(machine_abort),
machine_abort     218 sys/kern/system.c 	machine_abort();