Symbol: gdb_tx_reg
sys/gdb/gdb_int.h
83
void gdb_tx_reg(int);
sys/gdb/gdb_main.c
750
gdb_tx_reg(GDB_REG_PC);
sys/gdb/gdb_main.c
802
gdb_tx_reg(r);
sys/gdb/gdb_main.c
882
gdb_tx_reg(reg);