kgdb_rate          63 kern/kgdb_stub.c int kgdb_rate = KGDBRATE;	/* remote debugging baud rate */
kgdb_rate          92 sys/kgdb.h     extern int kgdb_dev, kgdb_rate, kgdb_active;