71     static handle_type launch(thread_routine_type thread_routine, void* arg, size_t stack_size);
77 …ndle_type ipc_thread_monitor::launch(void* (*thread_routine)(void*), void* arg, size_t stack_size)…  in launch()  argument
84     if( pthread_create( &handle, &s, thread_routine, arg ) ) return 0;  in launch()
298     static __RML_DECL_THREAD_ROUTINE thread_routine(void* arg);
332     static __RML_DECL_THREAD_ROUTINE thread_routine(void* arg);
345     static __RML_DECL_THREAD_ROUTINE thread_routine(void* arg);
504 __RML_DECL_THREAD_ROUTINE ipc_worker::thread_routine(void* arg) {  in thread_routine()  argument
505     ipc_worker* self = static_cast<ipc_worker*>(arg);  in thread_routine()
646 __RML_DECL_THREAD_ROUTINE ipc_waker::thread_routine(void* arg) {  in thread_routine()  argument
647     ipc_waker* self = static_cast<ipc_waker*>(arg);  in thread_routine()
745 __RML_DECL_THREAD_ROUTINE ipc_stopper::thread_routine(void* arg) {  in thread_routine()  argument
746     ipc_stopper* self = static_cast<ipc_stopper*>(arg);  in thread_routine()