* under the terms of the license (GNU LGPL) which comes with this package. */
#include "src/internal_config.h"
* under the terms of the license (GNU LGPL) which comes with this package. */
#include "src/internal_config.h"
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_ignore, mc,
"Logging specific to MC ignore mechanism");
XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_ignore, mc,
"Logging specific to MC ignore mechanism");
-void MC_register_stack_area(void *stack, smx_process_t process, void *context, size_t size)
+void MC_register_stack_area(void *stack, smx_process_t process, ucontext_t* context, size_t size)
#endif
region.process_index = -1;
s_mc_stack_region_message_t message;
message.type = MC_MESSAGE_STACK_REGION;
message.stack_region = region;
#endif
region.process_index = -1;
s_mc_stack_region_message_t message;
message.type = MC_MESSAGE_STACK_REGION;
message.stack_region = region;