X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_shadow_paging.h;fp=palacios%2Finclude%2Fpalacios%2Fvmm_shadow_paging.h;h=a3eabb99def4fbcfb95b7f59b583de747699aafb;hb=9b4bfeefac09294a6f0ae12dbadf102eb547f5ec;hp=84dee84e75b41895979d02260485505a6c4f46b9;hpb=266af4b5b19da7bee8e7445288c7c1cb3ee194c7;p=palacios.git

diff --git a/palacios/include/palacios/vmm_shadow_paging.h b/palacios/include/palacios/vmm_shadow_paging.h
index 84dee84..a3eabb9 100644
--- a/palacios/include/palacios/vmm_shadow_paging.h
+++ b/palacios/include/palacios/vmm_shadow_paging.h
@@ -31,17 +31,17 @@
 
 struct shadow_page_state {
 
-  // virtualized control registers
-  v3_reg_t guest_cr3;
-  v3_reg_t guest_cr0;
+    // virtualized control registers
+    v3_reg_t guest_cr3;
+    v3_reg_t guest_cr0;
 
-  // list of allocated shadow pages
-  struct list_head page_list;
+    // list of allocated shadow pages
+    struct list_head page_list;
 
-  /* SOON TO BE DEPRECATED */
-  // Hash table that contains a mapping of guest pte addresses to host pte addresses
-  struct hashtable *  cached_ptes;
-  addr_t cached_cr3;
+    /* SOON TO BE DEPRECATED */
+    // Hash table that contains a mapping of guest pte addresses to host pte addresses
+    struct hashtable *  cached_ptes;
+    addr_t cached_cr3;
 
 };