return simgrid::simix::kernelImmediate(SIMIX_process_count);
}
-/**
- * \ingroup simix_process_management
- * \brief Return the user data of a #smx_actor_t.
- * \param process a SIMIX process
- * \return the user data of this process
- */
-void* simcall_process_get_data(smx_actor_t process)
-{
- return SIMIX_process_get_data(process);
-}
-
/**
* \ingroup simix_process_management
* \brief Set the user data of a #smx_actor_t.
return (e_smx_state_t) simcall_BODY_process_sleep(duration);
}
-/**
- * \ingroup simix_mbox_management
- * \brief Creates a new rendez-vous point
- * \param name The name of the rendez-vous point
- * \return The created rendez-vous point
- */
-smx_mailbox_t simcall_mbox_create(const char *name)
-{
- return simcall_BODY_mbox_create(name);
-}
-
-void simcall_mbox_set_receiver(smx_mailbox_t mbox, smx_actor_t process)
-{
- simcall_BODY_mbox_set_receiver(mbox, process);
-}
-
/**
* \ingroup simix_comm_management
*/