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=247c471c01c319ae0fd491897a7cf164cc4107c7;hb=0e097100a26bc43eb8964734fa43130fc4c71429;hpb=6dee811714540921f73487de80e069decb80c602

diff --git a/palacios/include/palacios/vmm_shadow_paging.h b/palacios/include/palacios/vmm_shadow_paging.h
index 247c471..cd0cb7a 100644
--- a/palacios/include/palacios/vmm_shadow_paging.h
+++ b/palacios/include/palacios/vmm_shadow_paging.h
@@ -40,14 +40,16 @@ struct shadow_page_state {
     // list of allocated shadow pages
     struct list_head page_list;
 
-};
-
 
+#ifdef CONFIG_SHADOW_PAGING_TELEMETRY
+    uint_t guest_faults;
+#endif
 
-struct guest_info;
+};
 
 
 
+struct guest_info;
 
 
 int v3_init_shadow_page_state(struct guest_info * info);