X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fgeekos%2Fvmm_shadow_paging.c;h=b81b0e9995e1e088232b19461eb487580c11143d;hb=959ed075fac59969a8dc299e51824166f50bb2d0;hp=3de10c7fca0d1de890535860eb18273bc1e654ca;hpb=8cb3daaded0d8c80be801aa74493006b5a06999f;p=palacios.git

diff --git a/palacios/src/geekos/vmm_shadow_paging.c b/palacios/src/geekos/vmm_shadow_paging.c
index 3de10c7..b81b0e9 100644
--- a/palacios/src/geekos/vmm_shadow_paging.c
+++ b/palacios/src/geekos/vmm_shadow_paging.c
@@ -31,7 +31,10 @@ int wholesale_update_shadow_page_state(struct guest_info * guest_info) {
   }
 
   shadow_pde = (pde32_t *)(CR3_TO_PDE32(state->shadow_cr3.e_reg.low));  
-  guest_pde = (pde32_t *)(host_pa_to_host_va((void*)CR3_TO_PDE32(state->guest_cr3.e_reg.low)));
+
+  if (host_pa_to_host_va(CR3_TO_PDE32(state->guest_cr3.e_reg.low), (addr_t*)&guest_pde) != 0) {
+    return -1;
+  }
 
   // Delete the current page table
   delete_page_tables_pde32(shadow_pde);