Symbol: launch_worker_thread
sys/dev/hptmv/entry.c
2059
launch_worker_thread();
sys/dev/hptmv/entry.c
73
static void launch_worker_thread(void);