X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=64b5a71c712c4b9f9d89254da99504bf1c95e7bd;hb=1dbd6d179c681dbce107af39c4089d1aa13a714d;hp=1eb4de6b71a6f6f9c2fccd706eda7e0c7640f61a;hpb=7569a7e7b33dc1c26b68d66e4bcd3aebf3beaf7f;p=palacios.git

diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h
index 1eb4de6..64b5a71 100644
--- a/palacios/include/palacios/vm_guest.h
+++ b/palacios/include/palacios/vm_guest.h
@@ -32,6 +32,7 @@
 #include <palacios/vmm_host_events.h>
 #include <palacios/vmm_msr.h>
 #include <palacios/vmm_profiler.h>
+#include <palacios/vmm_hypercall.h>
 
 
 
@@ -138,6 +139,9 @@ struct guest_info {
 
   struct v3_msr_map msr_map;
 
+
+  v3_hypercall_map_t hcall_map;
+
   // device_map
   struct vmm_dev_mgr  dev_mgr;