Missed one usage of __extension__ keyword.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>

diff --git a/xen/include/public/foreign/mkheader.py b/xen/include/public/foreign/mkheader.py
index e679e682847f68cc3972dc3cc3e2446813259677..8b249e3dfcbc15299707506d2ebf826607833e15 100644 (file)
--- a/xen/include/public/foreign/mkheader.py
+++ b/xen/include/public/foreign/mkheader.py
@@ -38,7 +38,7 @@ inttypes["x86_64"] = {
 };
 header["x86_64"] = """
 #if defined(__GNUC__) && !defined(__STRICT_ANSI__)
-# define __DECL_REG(name) __extension__ union { uint64_t r ## name, e ## name; }
+# define __DECL_REG(name) union { uint64_t r ## name, e ## name; }
 # define __align8__ __attribute__((aligned (8)))
 #else
 # define __DECL_REG(name) uint64_t r ## name