#include <xbt/log.h>
#include <simgrid/simix.h>
-#include "smpi/private.h"
+#include "src/smpi/private.h"
-#include "mc_process.h"
-#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
char* name;
};
+typedef struct s_mc_smx_process_info s_mc_smx_process_info_t, *mc_smx_process_info_t;
+
XBT_PRIVATE xbt_dynar_t MC_smx_process_info_list_new(void);
XBT_PRIVATE void MC_process_smx_refresh(simgrid::mc::Process* process);
} \
}
-/** Execute a given simcall */
-XBT_PRIVATE void MC_simcall_handle(smx_simcall_t req, int value);
XBT_PRIVATE int MC_smpi_process_count(void);