process_restart True (void*, smx_process_t) (process, void*, smx_process_t)
rdv_create True (void*, smx_rdv_t) (name, const char*)
rdv_destroy True (void) (rdv, void*, smx_rdv_t)
-rdv_get_by_name True (void*, smx_host_t) (name, const char*)
+#rdv_get_by_name True (void*, smx_host_t) (name, const char*)
rdv_comm_count_by_host True (unsigned int) (rdv, void*, smx_rdv_t) (host, void*, smx_host_t)
rdv_get_head True (void*, smx_action_t) (rdv, void*, smx_rdv_t)
rdv_set_receiver True (void) (rdv, void*, smx_rdv_t) (receiver, void*, smx_process_t)
sem_acquire False (void) (sem, void*, smx_sem_t)
sem_acquire_timeout False (void) (sem, void*, smx_sem_t) (timeout, double)
sem_get_capacity True (int) (sem, void*, smx_sem_t)
-file_get_data True (void*) (fd, void*, smx_file_t)
-file_set_data True (void) (fd, void*, smx_file_t) (data, void*)
file_read False (sg_size_t) (fd, void*, smx_file_t) (size, sg_size_t)
file_write False (sg_size_t) (fd, void*, smx_file_t) (size, sg_size_t)
file_open False (void*, smx_file_t) (mount, const char*) (path, const char*)