gdb_cmd_detachkill 1010 kernel/debug/gdbstub.c gdb_cmd_detachkill(ks); gdb_cmd_detachkill 1032 kernel/debug/gdbstub.c gdb_cmd_detachkill(ks);