added pci passthrough and a few other things

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

diff --git a/palacios/include/palacios/vmm_sym_swap.h b/palacios/include/palacios/vmm_sym_swap.h
index 6bb3788..5f09c3b 100644 (file)
--- a/palacios/include/palacios/vmm_sym_swap.h
+++ b/palacios/include/palacios/vmm_sym_swap.h
@@ -45,12 +45,18 @@ struct v3_swap_dev {
 struct v3_sym_swap_state {
     struct v3_swap_dev devs[256];
 
+#ifdef CONFIG_SYMBIOTIC_SWAP_TELEMETRY
+    uint32_t read_faults;
+    uint32_t write_faults;
+    uint32_t flushes;
+#endif
+
     // shadow pointers
     struct hashtable * shdw_ptr_ht;
 };
 
-
-
+// Present = 0 and Dirty = 0
+// fixme
 static inline int is_swapped_pte32(pte32_t * pte) {
     return ((pte->present == 0) && (*(uint32_t *)pte != 0));
 }