X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_direct_paging_32.h;h=435c3b07c5bb489c5ae55055e5808c5a45fa404c;hb=2282a040e60b24d3fb7c48bb197c5bff6636df67;hp=7b49d584d8208ec4e86c4c69fe5aaa9be8b9bd54;hpb=774bac9fbb03ef8bf7c2ca2c79a8b87c9bc4c526;p=palacios.git

diff --git a/palacios/src/palacios/vmm_direct_paging_32.h b/palacios/src/palacios/vmm_direct_paging_32.h
index 7b49d58..435c3b0 100644
--- a/palacios/src/palacios/vmm_direct_paging_32.h
+++ b/palacios/src/palacios/vmm_direct_paging_32.h
@@ -29,9 +29,13 @@
 #include <palacios/vmm_ctrl_regs.h>
 
 
+/* This always build 2 level page tables - no large pages are used */
+
 static inline int handle_passthrough_pagefault_32(struct guest_info * info, 
 						  addr_t fault_addr, 
-						  pf_error_t error_code) {
+						  pf_error_t error_code,
+						  addr_t *actual_start, addr_t *actual_end) {
+
     // Check to see if pde and pte exist (create them if not)
     pde32_t * pde = NULL;
     pte32_t * pte = NULL;
@@ -56,6 +60,9 @@ static inline int handle_passthrough_pagefault_32(struct guest_info * info,
     }
 
 
+    *actual_start = BASE_TO_PAGE_ADDR_4KB(PAGE_BASE_ADDR_4KB(fault_addr));
+    *actual_end = BASE_TO_PAGE_ADDR_4KB(PAGE_BASE_ADDR_4KB(fault_addr)+1)-1;
+
     // Fix up the PDE entry
     if (pde[pde_index].present == 0) {
 	pte = (pte32_t *)create_generic_pt_page(info);
@@ -153,15 +160,21 @@ static inline int invalidate_addr_32_internal(struct guest_info * info, addr_t i
 }
 
 
-static inline int invalidate_addr_32(struct guest_info * core, addr_t inv_addr)
+static inline int invalidate_addr_32(struct guest_info * core, addr_t inv_addr,
+				     addr_t *actual_start, addr_t *actual_end)
 {
-  addr_t start;
   uint64_t len;
-  
-  return invalidate_addr_32_internal(core,inv_addr,&start,&len);
+  int rc;
+
+  rc = invalidate_addr_32_internal(core,inv_addr,actual_start,&len);
+
+  *actual_end = *actual_start + len - 1;
+
+  return rc;
 }
    
-static inline int invalidate_addr_32_range(struct guest_info * core, addr_t inv_addr_start, addr_t inv_addr_end)
+static inline int invalidate_addr_32_range(struct guest_info * core, addr_t inv_addr_start, addr_t inv_addr_end,
+					   addr_t *actual_start, addr_t *actual_end)
 {
   addr_t next;
   addr_t start;
@@ -170,11 +183,18 @@ static inline int invalidate_addr_32_range(struct guest_info * core, addr_t inv_
   
   for (next=inv_addr_start; next<=inv_addr_end; ) {
     rc = invalidate_addr_32_internal(core,next,&start, &len);
-    if (rc) { 
+     if (next==inv_addr_start) { 
+      // first iteration, capture where we start invalidating
+      *actual_start = start;
+    }
+   if (rc) { 
       return rc;
     }
     next = start + len;
+    *actual_end = next;
   }
+  // last iteration, actual_end is off by one
+  (*actual_end)--;
   return 0;
 }