src/include/mc/datatypes.h

   1 /* Copyright (c) 2008-2012. Da SimGrid Team. All rights reserved.           */
   2
   3 /* This program is free software; you can redistribute it and/or modify it
   4  * under the terms of the license (GNU LGPL) which comes with this package. */
   5
   6 #ifndef MC_DATATYPE_H
   7 #define MC_DATATYPE_H
   8 #include "xbt/misc.h"
   9 #include "xbt/swag.h"
  10 #include "xbt/fifo.h"
  11
  12 SG_BEGIN_DECL()
  13
  14 /******************************* Transitions **********************************/
  15 typedef struct s_mc_transition *mc_transition_t;
  16
  17 typedef struct s_mc_ignore_region{
  18   int block;
  19   int fragment;
  20   void *address;
  21   size_t size;
  22 }s_mc_ignore_region_t, *mc_ignore_region_t;
  23
  24 typedef struct s_stack_region{
  25   void *address;
  26   char *process_name;
  27 }s_stack_region_t, *stack_region_t;
  28
  29 SG_END_DECL()
  30 #endif                          /* _MC_MC_H */