Symbol: gdb_tx_hex
sys/gdb/gdb_int.h
112
gdb_tx_hex(err, 2);
sys/gdb/gdb_main.c
125
gdb_tx_hex((intmax_t)(uintptr_t)found, 8);
sys/gdb/gdb_main.c
747
gdb_tx_hex(gdb_cpu_signal(type, code), 2);
sys/gdb/gdb_main.c
764
gdb_tx_hex(gdb_cpu_signal(type, code), 2);