X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_shadow_paging.c;h=70a2c77ad905a4b9aba6f7e82c7fe1fb5b8a7b63;hb=eb87f60800c8634e37d1f8e71cd8f88605f2a46e;hp=3454039eea82a7d3855fc19427299a857f4cfe37;hpb=86c6fd174a293cdea69e4592e2eace691949043c;p=palacios.git

diff --git a/palacios/src/palacios/vmm_shadow_paging.c b/palacios/src/palacios/vmm_shadow_paging.c
index 3454039..70a2c77 100644
--- a/palacios/src/palacios/vmm_shadow_paging.c
+++ b/palacios/src/palacios/vmm_shadow_paging.c
@@ -160,7 +160,6 @@ int handle_shadow_pte32_fault(struct guest_info* info,
     return -1;
   }
 
-
   shadow_pte_access = can_access_pte32(shadow_pte, fault_addr, error_code);
 
   if (shadow_pte_access == PT_ENTRY_NOT_PRESENT) {
@@ -185,7 +184,7 @@ int handle_shadow_pte32_fault(struct guest_info* info,
 
     shadow_pte_entry->present = guest_pte_entry->present;
     shadow_pte_entry->user_page = guest_pte_entry->user_page;
-    
+
     //set according to VMM policy
     shadow_pte_entry->write_through = 0;
     shadow_pte_entry->cache_disable = 0;
@@ -216,7 +215,7 @@ int handle_shadow_pte32_fault(struct guest_info* info,
     //
     // Page Table Entry marked non-user
     //
-    
+
     PrintDebug("Shadow Paging User access error\n");
     return -1;
   } else if (shadow_pte_access == PT_ACCESS_OK) {
@@ -228,7 +227,6 @@ int handle_shadow_pte32_fault(struct guest_info* info,
     return -1;
   }
 
-
   return 0;
 }