Better support for dynamic changes to page event callbacks

[palacios.git] / palacios / include / palacios / vmm_shadow_paging.h

diff --git a/palacios/include/palacios/vmm_shadow_paging.h b/palacios/include/palacios/vmm_shadow_paging.h
index 22b0651..c65466b 100644 (file)
--- a/palacios/include/palacios/vmm_shadow_paging.h
+++ b/palacios/include/palacios/vmm_shadow_paging.h
@@ -47,11 +47,14 @@ struct v3_shdw_pg_impl {
 };
 
 
-
 struct v3_shdw_impl_state {
     
     struct v3_shdw_pg_impl * current_impl;
     void * impl_data;
+
+    v3_rw_lock_t     event_callback_lock;
+    struct list_head event_callback_list;
+
 };
 
 struct v3_shdw_pg_state {
@@ -60,6 +63,7 @@ struct v3_shdw_pg_state {
     v3_reg_t guest_cr3;
     v3_reg_t guest_cr0;
     v3_msr_t guest_efer;
+    v3_reg_t guest_cr4;
 
     void * local_impl_data;
 
@@ -67,10 +71,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 +105,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);
+