Symbol: thread_function1
src/tests/system/kernel/sem_acquire_test1.cpp
37
thread_id thread1 = spawn_thread(&thread_function1, "thread1",
src/tests/system/kernel/sem_acquire_test1.cpp
49
thread_id thread3 = spawn_thread(&thread_function1, "thread3",