X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_extensions.c;h=defad8f68145ec1fe0385203a553f67bd658b036;hb=5614cff13837121053e831419f569b4e6e32bcd9;hp=e9a1ce69c03b2d8a099bee25a037bc142bfbf039;hpb=55a97f129cf51e899308ba2d6070c77e4901559e;p=palacios.git

diff --git a/palacios/src/palacios/vmm_extensions.c b/palacios/src/palacios/vmm_extensions.c
index e9a1ce6..defad8f 100644
--- a/palacios/src/palacios/vmm_extensions.c
+++ b/palacios/src/palacios/vmm_extensions.c
@@ -88,7 +88,13 @@ int v3_init_ext_manager(struct v3_vm_info * vm) {
 }
 
 
-int v3_deinit_ext_manager(struct v3_vm_info * vm);
+int v3_deinit_ext_manager(struct v3_vm_info * vm)  {
+
+	PrintError("I should really do something here... \n");
+	return -1;
+}
+
+
 
 int v3_add_extension(struct v3_vm_info * vm, const char * name, v3_cfg_tree_t * cfg) {
     struct v3_extension_impl * impl = NULL;
@@ -138,7 +144,7 @@ int v3_init_core_extensions(struct guest_info * core) {
 	if ((ext->impl) && (ext->impl->core_init)) {
 	    if (ext->impl->core_init(core, ext->priv_data) == -1) {
 		PrintError("Error configuring per core extension %s on core %d\n", 
-			   ext->impl->name, core->cpu_id);
+			   ext->impl->name, core->vcpu_id);
 		return -1;
 	    }
 	}