s patch fixes some issues I've had when compiling Palacios 32-bit.

[palacios.git] / palacios / include / palacios / vmm_shadow_paging.h

diff --git a/palacios/include/palacios/vmm_shadow_paging.h b/palacios/include/palacios/vmm_shadow_paging.h
index 0078e0b..cd0cb7a 100644 (file)
--- a/palacios/include/palacios/vmm_shadow_paging.h
+++ b/palacios/include/palacios/vmm_shadow_paging.h
@@ -40,6 +40,11 @@ struct shadow_page_state {
     // list of allocated shadow pages
     struct list_head page_list;
 
+
+#ifdef CONFIG_SHADOW_PAGING_TELEMETRY
+    uint_t guest_faults;
+#endif
+
 };