Merge branch 'devel' of ssh://palacios@newskysaw.cs.northwestern.edu/home/palacios...

[palacios.git] / palacios / include / palacios / vm_guest.h

diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h
index f918da6..9ed1e20 100644 (file)
--- a/palacios/include/palacios/vm_guest.h
+++ b/palacios/include/palacios/vm_guest.h
@@ -41,8 +41,9 @@
 #endif
 
 
-
-
+#ifdef CONFIG_VNET
+#include <palacios/vmm_vnet.h>
+#endif
 
 
 #ifdef CONFIG_SYMBIOTIC
@@ -113,6 +114,10 @@ struct guest_info {
     struct v3_vm_info * vm_info;
     // the logical cpu this guest context is executing on
     int cpu_id;
+
+#ifdef CONFIG_VNET_PROFILE
+    struct v3_vnet_profile vnet_times;
+#endif
 };