From a1de9879ae932ffefdafbcb1504a603abfa053d5 Mon Sep 17 00:00:00 2001
From: Glauber de Oliveira Costa <gcosta@redhat.com>
Date: Wed, 30 Jan 2008 13:33:24 +0100
Subject: [PATCH] --- yaml --- r: 80365 b: refs/heads/master c:
 e68decb52104388ed6c6218be926e10e6cde2814 h: refs/heads/master i:   80363:
 439e172815236eaeabd82e32661330017a942280 v: v3

---
 [refs]                          | 2 +-
 trunk/arch/x86/kernel/setup64.c | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/[refs] b/[refs]
index 3f6b1d95dfaf..5e2b8727ee10 100644
--- a/[refs]
+++ b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: dbae595249bdbacd852e677f9b3e995f65c16781
+refs/heads/master: e68decb52104388ed6c6218be926e10e6cde2814
diff --git a/trunk/arch/x86/kernel/setup64.c b/trunk/arch/x86/kernel/setup64.c
index 0389331059ad..309366f8f603 100644
--- a/trunk/arch/x86/kernel/setup64.c
+++ b/trunk/arch/x86/kernel/setup64.c
@@ -41,6 +41,8 @@ struct desc_ptr idt_descr = { 256 * 16 - 1, (unsigned long) idt_table };
 char boot_cpu_stack[IRQSTACKSIZE] __attribute__((section(".bss.page_aligned")));
 
 unsigned long __supported_pte_mask __read_mostly = ~0UL;
+EXPORT_SYMBOL_GPL(__supported_pte_mask);
+
 static int do_not_nx __cpuinitdata = 0;
 
 /* noexec=on|off