Symbol: setup_for_thread
src/system/kernel/arch/riscv64/arch_debug.cpp
415
setup_for_thread(char* arg, Thread** _thread, addr_t* _bp,
src/system/kernel/arch/x86/arch_debug.cpp
464
setup_for_thread(char* arg, Thread** _thread, addr_t* _bp,