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));
}
int v3_swap_in_notify(struct guest_info * info, int pg_index, int dev_index);
+int v3_sym_get_addr_info(struct guest_info * info, addr_t vadd,
+ int (*cb)(struct guest_info * info));
+
addr_t v3_get_swapped_pg_addr(struct guest_info * info, pte32_t * shadow_pte, pte32_t * guest_pte);