From: Jack Lange <jacklange@cs.pitt.edu>
Date: Tue, 19 Apr 2011 22:05:01 +0000 (-0500)
Subject: added error message
X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=d715c9f0ed67f88fcddd08131c2f5de5212a5a44;hp=55a97f129cf51e899308ba2d6070c77e4901559e;p=palacios.git

added error message
---

diff --git a/palacios/src/palacios/vmm_extensions.c b/palacios/src/palacios/vmm_extensions.c
index e9a1ce6..1db9dc6 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;