X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_direct_paging_64.h;h=731c1989cfa06d7f8a3d36051dfe091e60fc5cf3;hb=ea2c3508b25e832976994db6ccedb4be94137e48;hp=1c819ee4115052709dedaf54209bfb9747fc16f0;hpb=b06d0d0e5e57f5c4163a69efcabe6f96594ad814;p=palacios-OLD.git

diff --git a/palacios/src/palacios/vmm_direct_paging_64.h b/palacios/src/palacios/vmm_direct_paging_64.h
index 1c819ee..731c198 100644
--- a/palacios/src/palacios/vmm_direct_paging_64.h
+++ b/palacios/src/palacios/vmm_direct_paging_64.h
@@ -46,7 +46,7 @@ static inline int handle_passthrough_pagefault_64(struct guest_info * info,
 
     
 
-    struct v3_shadow_region * region =  v3_get_shadow_region(info, fault_addr);
+    struct v3_shadow_region * region =  v3_get_shadow_region(info->vm_info, fault_addr);
   
     if (region == NULL) {
 	PrintError("Invalid region in passthrough page fault 64, addr=%p\n",