X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmx.h;h=2b50a04890cc60d9553660c4689b119bde0a33c0;hb=a1d3e2f36e9ef64ca62c611c4f0aa050726e186b;hp=bdf5bb8dac51c56b06004dfd51fba94bb594ed78;hpb=1f5b9287e61b8a4164f81e52dccf3ddd59a891f8;p=palacios.git

diff --git a/palacios/include/palacios/vmx.h b/palacios/include/palacios/vmx.h
index bdf5bb8..2b50a04 100644
--- a/palacios/include/palacios/vmx.h
+++ b/palacios/include/palacios/vmx.h
@@ -77,7 +77,7 @@ typedef enum {
 
 struct vmx_data {
     vmx_state_t state;
-    struct vmcs_data* vmcs;
+    addr_t vmcs_ptr_phys;
 };