trap_type          60 arch/i386/i386/db_interface.c extern char *trap_type[];
trap_type          93 arch/i386/i386/db_interface.c 		db_printf("%s", trap_type[type]);
trap_type         120 arch/i386/i386/trap.c char	*trap_type[] = {
trap_type         143 arch/i386/i386/trap.c int	trap_types = sizeof trap_type / sizeof trap_type[0];
trap_type         229 arch/i386/i386/trap.c 				printf("kgdb: ignored %s\n", trap_type[type]);
trap_type         240 arch/i386/i386/trap.c 			printf("fatal %s (%d)", trap_type[frame.tf_trapno],