abtfn_t            42 sys/kern/debug.c typedef void (*abtfn_t)(void);
abtfn_t            44 sys/kern/debug.c static abtfn_t	db_abort = &machine_abort;	/* abort handler */