diff --git a/xen/Makefile b/xen/Makefile
index 349f63aebd..c908544157 100644
--- a/xen/Makefile
+++ b/xen/Makefile
@@ -191,7 +191,7 @@ endef
 define set_exuberant_flags
     exuberant_flags=`$1 --version 2>/dev/null | (grep -iq exuberant && \
 	echo "-I __initdata,__exitdata,__acquires,__releases \
-	    -I EXPORT_SYMBOL,EXPORT_SYMBOL_GPL \
+	    -I EXPORT_SYMBOL \
 	    --extra=+f --c-kinds=+px") || true` 
 endef
 
diff --git a/xen/include/xen/config.h b/xen/include/xen/config.h
index bd78176ea1..96f5539ae7 100644
--- a/xen/include/xen/config.h
+++ b/xen/include/xen/config.h
@@ -15,7 +15,6 @@
 #include <asm/config.h>
 
 #define EXPORT_SYMBOL(var)
-#define EXPORT_SYMBOL_GPL(var)
 
 /*
  * The following log levels are as follows: