kgdb_signal       358 kern/kgdb_stub.c 		snprintf(buffer, sizeof buffer, "S%02x", kgdb_signal(type));
kgdb_signal       387 kern/kgdb_stub.c 			    kgdb_signal(type));
kgdb_signal       104 sys/kgdb.h     int kgdb_signal(int);