X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Finclude%2Fpalacios%2Fvmm_extensions.h;h=67d6f86f72a84d7c2547124add5224d06ddb5ff5;hb=40b983b217e8b8d0881309a9440195abbfdcce57;hp=fdddb6939230ce31e25be4b2e958f667330c6665;hpb=55a97f129cf51e899308ba2d6070c77e4901559e;p=palacios.git

diff --git a/palacios/include/palacios/vmm_extensions.h b/palacios/include/palacios/vmm_extensions.h
index fdddb69..67d6f86 100644
--- a/palacios/include/palacios/vmm_extensions.h
+++ b/palacios/include/palacios/vmm_extensions.h
@@ -39,10 +39,11 @@ struct v3_extensions {
 
 struct v3_extension_impl {
     char * name;
-    int (*init)(struct v3_vm_info * vm, v3_cfg_tree_t * cfg, void ** priv_data);
-    int (*deinit)(struct v3_vm_info * vm, void * priv_data);
-    int (*core_init)(struct guest_info * core, void * priv_data);
-    int (*core_deinit)(struct guest_info * core, void * priv_data);
+    int (*init)();
+    int (*vm_init)(struct v3_vm_info * vm, v3_cfg_tree_t * cfg, void ** priv_data);
+    int (*vm_deinit)(struct v3_vm_info * vm, void * priv_data);
+    int (*core_init)(struct guest_info * core, void * priv_data, void ** core_data);
+    int (*core_deinit)(struct guest_info * core, void * priv_data, void * core_data);
     int (*on_entry)(struct guest_info * core, void * priv_data);
     int (*on_exit)(struct guest_info * core, void * priv_data);
 };
@@ -54,6 +55,9 @@ struct v3_extension {
     struct list_head node;
     struct list_head exit_node;
     struct list_head entry_node;
+
+    // KCH: has to be last entry in this struct
+    void * core_ext_priv_data[0];
 };
 
 
@@ -63,10 +67,13 @@ int V3_deinit_extensions();
 
 
 int v3_init_ext_manager(struct v3_vm_info * vm);
+int v3_deinit_ext_manager(struct v3_vm_info * vm);
 int v3_add_extension(struct v3_vm_info * vm, const char * name, v3_cfg_tree_t * cfg);
 int v3_init_core_extensions(struct guest_info * core);
+int v3_deinit_core_extensions(struct guest_info * core);
 
 void * v3_get_extension_state(struct v3_vm_info * vm, const char * name);
+void * v3_get_ext_core_state (struct guest_info * core, const char * name);
 
 
 #define register_extension(ext)					\