added null section place holder for extensions

[palacios-OLD.git] / palacios / src / palacios / vmm_extensions.c

diff --git a/palacios/src/palacios/vmm_extensions.c b/palacios/src/palacios/vmm_extensions.c
index e9a1ce6..b46af1b 100644 (file)
--- a/palacios/src/palacios/vmm_extensions.c
+++ b/palacios/src/palacios/vmm_extensions.c
@@ -26,6 +26,14 @@
 
 static struct hashtable * ext_table = NULL;
 
+/*
+ * This is a place holder to ensure that the _v3_extensions section gets created by gcc
+ */
+static struct {} null_ext  __attribute__((__used__))                    \
+    __attribute__((unused, __section__ ("_v3_extensions"),                \
+                   aligned(sizeof(addr_t))));
+
+
 
 static uint_t ext_hash_fn(addr_t key) {
     char * name = (char *)key;
@@ -88,7 +96,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 +152,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;
            }
        }