Method UnregisterGuestThreadForThisThread

src/core/debugger/debugger.cpp:71–74

}

void Debugger::UnregisterGuestThreadForThisThread() {
    GET_THIS_THREAD();
    thread.guest_thread = nullptr;
}

void Debugger::ActivateGdbServer(System& system) {
    gdb_server = new GdbServer(system, *this);