gdb_cpu_signal
gdb_cpu_signal(int type, int code)
gdb_cpu_signal(int type, int code)
gdb_cpu_signal(int type, int code __unused)
gdb_cpu_signal(int type, int code)
gdb_cpu_signal(int vector, int dummy __unused)
gdb_cpu_signal(int type, int code)