X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?p=palacios.git;a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_shadow_paging.h;h=cd0cb7a4596f4cf94950c0d489dd91b3dbe16e90;hp=d7629a1f720170ca968822bf03b4e9028b68a228;hb=0e097100a26bc43eb8964734fa43130fc4c71429;hpb=6cbdc3c14d417e26bf6dfdf08e19e09db44fdf51

diff --git a/palacios/include/palacios/vmm_shadow_paging.h b/palacios/include/palacios/vmm_shadow_paging.h
index d7629a1..cd0cb7a 100644
--- a/palacios/include/palacios/vmm_shadow_paging.h
+++ b/palacios/include/palacios/vmm_shadow_paging.h
@@ -31,9 +31,6 @@
 
 
 struct shadow_page_state {
-    // ugly optimization hack
-    v3_reg_t prev_guest_cr3;
-
 
     // virtualized control registers
     v3_reg_t guest_cr3;