Symbol: kgdb_signal
sys/kern/kgdb_stub.c
409
snprintf(buffer, sizeof(buffer), "S%02x", kgdb_signal(type));
sys/kern/kgdb_stub.c
438
kgdb_signal(type));
sys/sys/kgdb.h
97
int kgdb_signal(int);