X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ed049f0370888f3b2ffd89f714492811aa8ef154..64aac920c111dafd5b2f10815c817f872f4c4340:/src/simix/simcalls.in

diff --git a/src/simix/simcalls.in b/src/simix/simcalls.in
index cdd02a8592..e211d987e4 100644
--- a/src/simix/simcalls.in
+++ b/src/simix/simcalls.in
@@ -25,7 +25,7 @@ host_parallel_execute True (void*, smx_action_t) (name, const char*) (host_nb, i
 host_execution_destroy True (void) (execution, void*, smx_action_t)
 host_execution_cancel True (void) (execution, void*, smx_action_t)
 host_execution_get_remains True (double) (execution, void*, smx_action_t)
-host_execution_get_state True (int) (execution, void*, smx_action_t)
+host_execution_get_state True (int, e_smx_state_t) (execution, void*, smx_action_t)
 host_execution_set_priority True (void) (execution, void*, smx_action_t) (priority, double)
 host_execution_set_bound True (void) (execution, void*, smx_action_t) (bound, double)
 host_execution_set_affinity True (void) (execution, void*, smx_action_t) (ws, void*, smx_host_t) (mask, unsigned long)
@@ -34,7 +34,7 @@ host_get_mounted_storage_list True (void*, xbt_dict_t) (host, void*, smx_host_t)
 host_get_attached_storage_list True (void*, xbt_dynar_t) (host, void*, smx_host_t)
 host_get_params True (void) (ind_vm, void*, smx_host_t) (params, void*, ws_params_t)
 host_set_params True (void) (ind_vm, void*, smx_host_t) (params, void*, ws_params_t)
-vm_create True (void*) (name, const char*) (ind_pm, void*, smx_host_t)
+vm_create True (void*, smx_host_t) (name, const char*) (ind_pm, void*, smx_host_t)
 vm_start True (void) (ind_vm, void*, smx_host_t)
 vm_get_state True (int) (ind_vm, void*, smx_host_t)
 vm_migrate True (void) (ind_vm, void*, smx_host_t) (ind_dst_pm, void*, smx_host_t)
@@ -86,7 +86,7 @@ comm_wait False (void) (comm, void*, smx_action_t) (timeout, double)
 comm_test False (int) (comm, void*, smx_action_t)
 comm_testany False (int) (comms, void*, xbt_dynar_t)
 comm_get_remains True (double) (comm, void*, smx_action_t)
-comm_get_state True (int) (comm, void*, smx_action_t)
+comm_get_state True (int, e_smx_state_t) (comm, void*, smx_action_t)
 comm_get_src_data True (void*) (comm, void*, smx_action_t)
 comm_get_dst_data True (void*) (comm, void*, smx_action_t)
 comm_get_src_proc True (void*, smx_process_t) (comm, void*, smx_action_t)
@@ -102,7 +102,7 @@ cond_signal True (void) (cond, void*, smx_cond_t)
 cond_wait False (void) (cond, void*, smx_cond_t) (mutex, void*, smx_mutex_t)
 cond_wait_timeout False (void) (cond, void*, smx_cond_t) (mutex, void*, smx_mutex_t) (timeout, double)
 cond_broadcast True (void) (cond, void*, smx_cond_t)
-sem_init True (void*, smx_sem_t) (capacity, int)
+sem_init True (void*, smx_sem_t) (capacity, unsigned int)
 sem_destroy True (void) (sem, void*, smx_sem_t)
 sem_release True (void) (sem, void*, smx_sem_t)
 sem_would_block True (int) (sem, void*, smx_sem_t)
@@ -129,6 +129,6 @@ comm_is_latency_bounded True (int) (comm, void*, smx_action_t)
 ## HAVE_TRACING
 set_category True (void) (action, void*, smx_action_t) (category, const char*)
 ## HAVE_MC
-mc_snapshot True (void*)
-mc_compare_snapshots True (int) (s1, void*) (s2, void*)
+mc_snapshot True (void*, mc_snapshot_t)
+mc_compare_snapshots True (int) (s1, void*, mc_snapshot_t) (s2, void*, mc_snapshot_t)
 mc_random True (int) (min, int) (max, int)