kgdb_setregs      401 kern/kgdb_stub.c 				kgdb_setregs(regs, gdb_regs);
kgdb_setregs      107 sys/kgdb.h     void kgdb_setregs(db_regs_t *, kgdb_reg_t *);