gdb_cpu_signal
int gdb_cpu_signal(int, int);
int gdb_cpu_signal(int, int);
int gdb_cpu_signal(int, int);
gdb_tx_hex(gdb_cpu_signal(type, code), 2);
gdb_tx_hex(gdb_cpu_signal(type, code), 2);
int gdb_cpu_signal(int, int);
int gdb_cpu_signal(int, int);
int gdb_cpu_signal(int, int);