X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fgeekos%2Fvmm.h;h=181155f0f66b470fba9702b270739e7e225ea626;hp=93e72115265141f8f5e94a912ac598f703d5e73c;hb=04fc4c8fbac29e04f0d0817a2906687c2c972559;hpb=4939ecae04ce6416f404670640620a23aee9b914

diff --git a/palacios/include/geekos/vmm.h b/palacios/include/geekos/vmm.h
index 93e7211..181155f 100644
--- a/palacios/include/geekos/vmm.h
+++ b/palacios/include/geekos/vmm.h
@@ -77,7 +77,7 @@ typedef struct guest_info {
   vmm_mem_layout_t mem_layout;
   // device_map
 
-  vmm_pde_t * page_tables;
+  pml4e64_t * page_tables;
   void * vmm_data;
 } guest_info_t;