Palacios Public Git Repository

To checkout Palacios execute

  git clone http://v3vee.org/palacios/palacios.web/palacios.git
This will give you the master branch. You probably want the devel branch or one of the release branches. To switch to the devel branch, simply execute
  cd palacios
  git checkout --track -b devel origin/devel
The other branches are similar.


Live Migration Functionality
[palacios.git] / palacios / include / palacios / vmm_shadow_paging.h
index 22b0651..6af224c 100644 (file)
@@ -47,11 +47,13 @@ struct v3_shdw_pg_impl {
 };
 
 
-
 struct v3_shdw_impl_state {
     
     struct v3_shdw_pg_impl * current_impl;
     void * impl_data;
+
+    struct list_head event_callback_list;
+
 };
 
 struct v3_shdw_pg_state {
@@ -67,10 +69,16 @@ struct v3_shdw_pg_state {
     uint_t guest_faults;
 #endif
 
-};
 
+};
 
 
+struct v3_shdw_pg_event {
+    enum {SHADOW_PAGEFAULT,SHADOW_INVLPG,SHADOW_INVALIDATE,SHADOW_ACTIVATE} event_type;
+    enum {SHADOW_PREIMPL, SHADOW_POSTIMPL} event_order;
+    addr_t     gva;        // for pf and invlpg
+    pf_error_t error_code; // for pf
+};
 
 
 
@@ -95,6 +103,18 @@ int v3_inject_guest_pf(struct guest_info * info, addr_t fault_addr, pf_error_t e
 int v3_is_guest_pf(pt_access_status_t guest_access, pt_access_status_t shadow_access);
 
 
+int v3_register_shadow_paging_event_callback(struct v3_vm_info *vm,
+                                         int (*callback)(struct guest_info *core, 
+                                                         struct v3_shdw_pg_event *event,
+                                                         void      *priv_data),
+                                         void *priv_data);
+
+int v3_unregister_shadow_paging_event_callback(struct v3_vm_info *vm,
+                                              int (*callback)(struct guest_info *core, 
+                                                              struct v3_shdw_pg_event *event,
+                                                              void      *priv_data),
+                                              void *priv_data);
+