X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;fp=palacios%2Finclude%2Fpalacios%2Fvm_guest.h;h=d23c8236285500e7dfffef713c08b2080ad3cca0;hb=058a3adde5893927ae056a1d8fbccd5191d2446f;hp=005d32bf172c7c105b44c63fd461870202e1fa66;hpb=0dc6c1ec345d5c48e348b7e6532e5dcec00fa2ff;p=palacios.git

diff --git a/palacios/include/palacios/vm_guest.h b/palacios/include/palacios/vm_guest.h
index 005d32b..d23c823 100644
--- a/palacios/include/palacios/vm_guest.h
+++ b/palacios/include/palacios/vm_guest.h
@@ -130,7 +130,6 @@ struct guest_info {
     v3_paging_mode_t shdw_pg_mode;
     struct shadow_page_state shdw_pg_state;
     addr_t direct_map_pt;
-    // nested_paging_t nested_page_state;
 
 
     // This structure is how we get interrupts for the guest