-#include "src/kernel/activity/CommImpl.hpp"
-#include "src/kernel/activity/ExecImpl.hpp"
-#include "src/kernel/activity/SleepImpl.hpp"
-#include "src/kernel/activity/SynchroIo.hpp"
-#include "src/kernel/activity/SynchroRaw.hpp"
-
-XBT_LOG_NEW_DEFAULT_SUBCATEGORY(simix_popping, simix,
- "Popping part of SIMIX (transmuting from user request into kernel handlers)");
-
-void SIMIX_simcall_answer(smx_simcall_t simcall)
-{
- if (simcall->issuer != simix_global->maestro_process){
- XBT_DEBUG("Answer simcall %s (%d) issued by %s (%p)", SIMIX_simcall_name(simcall->call), (int)simcall->call,
- simcall->issuer->name.c_str(), simcall->issuer);
- simcall->issuer->simcall.call = SIMCALL_NONE;
-#if 0
- /* This check should be useless and slows everyone. Reactivate if you see something weird in process scheduling. */
- if (std::find(begin(simix_global->process_to_run), end(simix_global->process_to_run), simcall->issuer) !=
- end(simix_global->process_to_run))
- DIE_IMPOSSIBLE;
-#endif
- simix_global->process_to_run.push_back(simcall->issuer);
- }
-}
-
-void SIMIX_simcall_exit(smx_activity_t synchro)
-{
- synchro->post();
-}