Symbol: db_set_thread
sys/ddb/db_command.c
162
DB_CMD("thread", db_set_thread, 0),
sys/ddb/ddb.h
290
db_cmdfcn_t db_set_thread;