X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/12c0f182635ed71b370d608b5b9a614153765cd4..8751ce2fc793fff5b7b5f492add834d9f77ec0e3:/src/surf/cpu_cas01_private.h

diff --git a/src/surf/cpu_cas01_private.h b/src/surf/cpu_cas01_private.h
index 5d84572a26..b126a3b907 100644
--- a/src/surf/cpu_cas01_private.h
+++ b/src/surf/cpu_cas01_private.h
@@ -18,6 +18,10 @@ typedef struct cpu_Cas01 {
   e_surf_resource_state_t state_current;
   tmgr_trace_event_t state_event;
   lmm_constraint_t constraint;
+
+  /* Note (hypervisor): */
+  lmm_constraint_t *constraint_core;
+
 } s_cpu_Cas01_t, *cpu_Cas01_t;
 
 void *cpu_cas01_create_resource(const char *name,