X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=blobdiff_plain;f=palacios%2Fsrc%2Fpalacios%2Fvmm_extensions.c;h=b46af1b85f50d83c9f6e4f37688087d7a1883e84;hb=457220e0485aefc6efecbc81ab1343b9cb65d8ba;hp=1db9dc6d0229a93e35d60dc5786b8cbe157021b3;hpb=d715c9f0ed67f88fcddd08131c2f5de5212a5a44;p=palacios.git

diff --git a/palacios/src/palacios/vmm_extensions.c b/palacios/src/palacios/vmm_extensions.c
index 1db9dc6..b46af1b 100644
--- 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;
@@ -144,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;
 	    }
 	}