Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' of github.com:mquinson/simgrid
[simgrid.git] / src / include / mc / datatypes.h
1 /* Copyright (c) 2008-2015. The SimGrid Team.
2  * All rights reserved.                                                     */
3
4 /* This program is free software; you can redistribute it and/or modify it
5  * under the terms of the license (GNU LGPL) which comes with this package. */
6
7 #ifndef MC_DATATYPE_H
8 #define MC_DATATYPE_H
9
10 #include <simgrid_config.h>
11 #include <xbt/base.h>
12
13 #ifdef _XBT_WIN32
14 #  include <xbt/win32_ucontext.h>     /* context relative declarations */
15 #else
16 #  include <ucontext.h>           /* context relative declarations */
17 #endif
18
19 #if HAVE_MC
20 #include <dwarf.h>
21 #endif 
22
23 SG_BEGIN_DECL()
24
25 typedef struct s_mc_transition *mc_transition_t;
26
27 typedef struct s_stack_region{
28   void *address;
29   ucontext_t* context;
30   size_t size;
31   int block;
32   int process_index;
33 }s_stack_region_t, *stack_region_t;
34
35 SG_END_DECL()
36
37 #endif                          /* _MC_MC_H */