uint32_t read_faults;
uint32_t write_faults;
uint32_t flushes;
+ uint32_t mapped_pages;
+ uint32_t list_size;
#endif
// shadow pointers
int v3_swap_in_notify(struct guest_info * info, int pg_index, int dev_index);
-addr_t v3_get_swapped_pg_addr(struct guest_info * info, pte32_t * shadow_pte, pte32_t * guest_pte);
+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 guest_info * info, pte32_t * guest_pte);
+addr_t v3_map_swp_page(struct guest_info * info, pte32_t * shadow_pte, pte32_t * guest_pte, void * swp_page_ptr);
int v3_swap_flush(struct guest_info * info);