#include <xbt/log.h>
#include <simgrid/simix.h>
-#include "smpi/private.h"
+#include "src/smpi/private.h"
-#include "mc/Process.hpp"
-#include "mc_protocol.h"
+#include "src/mc/Process.hpp"
+#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);