Symbol: ThreadManager
src/bin/debug/profile/profile.cpp
105
ThreadManager(port_id debuggerPort)
src/bin/debug/profile/profile.cpp
529
process_event_buffer(ThreadManager& threadManager, uint8* buffer,
src/bin/debug/profile/profile.cpp
699
ThreadManager threadManager(-1); // TODO: We don't need a debugger port!
src/bin/debug/profile/profile.cpp
827
ThreadManager threadManager(-1); // TODO: We don't need a debugger port!
src/bin/debug/profile/profile.cpp
893
ThreadManager threadManager(debuggerPort);