gdbstub_msg_write
gdbstub_msg_write(s, count);
extern void gdbstub_msg_write(const char *s, int len);
gdbstub_msg_write("KGDB only knows signal 9 (pass)"
gdbstub_msg_write(cp, retlen - (cp - kdb_buffer));