user_work_function_   58 native_client_sdk/src/libraries/sdk_util/thread_pool.cc   user_work_function_ = work;
user_work_function_   92 native_client_sdk/src/libraries/sdk_util/thread_pool.cc       user_work_function_(task_index, user_data_);
user_work_function_   44 native_client_sdk/src/libraries/sdk_util/thread_pool.h   WorkFunction user_work_function_;