changed the symbiotic calling interface to a synchronous model

[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 5f09c3b..e613051 100644 (file)
--- a/palacios/include/palacios/vmm_sym_swap.h
+++ b/palacios/include/palacios/vmm_sym_swap.h
@@ -70,6 +70,9 @@ int v3_register_swap_disk(struct guest_info * info, int dev_index,
 
 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);