#ifdef __V3VEE__
#ifdef CONFIG_SYMBIOTIC_SWAP
-#include <palacios/vmm.h>
+#include <palacios/vmm_types.h>
+#include <palacios/vmm_paging.h>
+#include <palacios/vmm_hashtable.h>
-static inline int is_swapped_pte32(pte32_t * pte) {
- return (*(uint32_t *)pte != 0);
-}
+
+struct v3_swap_ops {
+ void * (*get_swap_entry)(uint32_t pg_index, void * private_data);
+};
struct v3_swap_dev {
- addr_t (*get_page)(int index);
+ uint8_t present;
+ struct v3_swap_ops * ops;
+
+ void * private_data;
};
struct v3_sym_swap_state {
- struct v3_swap_dev[256];
+ struct v3_swap_dev devs[256];
+
+#ifdef CONFIG_SYMBIOTIC_SWAP_TELEMETRY
+ uint32_t read_faults;
+ uint32_t write_faults;
+ uint32_t flushes;
+ uint32_t mapped_pages;
+ uint32_t list_size;
+#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_init_sym_swap(struct v3_vm_info * vm);
-int v3_init_sym_swap(struct guest_info * info);
+int v3_register_swap_disk(struct v3_vm_info * vm, int dev_index,
+ struct v3_swap_ops * ops, void * private_data);
-addr_t v3_get_swapped_pg_addr(pte32_t * pte);
+int v3_swap_in_notify(struct v3_vm_info * vm, int pg_index, int dev_index);
+int v3_get_vaddr_perms(struct guest_info * info, addr_t vaddr, pte32_t * guest_pte, pf_error_t * page_perms);
+addr_t v3_get_swapped_pg_addr(struct v3_vm_info * vm, pte32_t * guest_pte);
+addr_t v3_map_swp_page(struct v3_vm_info * vm, pte32_t * shadow_pte, pte32_t * guest_pte, void * swp_page_ptr);
+
+int v3_swap_flush(struct v3_vm_info * vm);
+
#endif
#endif
-
#endif