#include "src/smpi/private.h"
#include "src/mc/Process.hpp"
-#include "mc_protocol.h"
+#include "src/mc/mc_protocol.h"
/** @file
* @brief (Cross-process, MCer/MCed) Access to SMX structures
} \
}
-/** Execute a given simcall */
-XBT_PRIVATE void MC_simcall_handle(smx_simcall_t req, int value);
XBT_PRIVATE int MC_smpi_process_count(void);