From: Lei Xia Date: Fri, 2 Sep 2011 19:19:48 +0000 (-0500) Subject: Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacio... X-Git-Url: http://v3vee.org/palacios/gitweb/gitweb.cgi?a=commitdiff_plain;h=eccdf850c16fde41139fbae13be3930111bf6aa7;hp=a489c2ba0f26f4be1fa98d4af2c2bfa113c28dde;p=palacios.releases.git Merge branch 'devel' of palacios@newskysaw.cs.northwestern.edu:/home/palacios/palacios into devel --- diff --git a/palacios/src/palacios/vmm_extensions.c b/palacios/src/palacios/vmm_extensions.c index defad8f..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;