diff options
author | Glauber de Oliveira Costa <gcosta@redhat.com> | 2008-01-30 07:33:24 -0500 |
---|---|---|
committer | Ingo Molnar <mingo@elte.hu> | 2008-01-30 07:33:24 -0500 |
commit | e68decb52104388ed6c6218be926e10e6cde2814 (patch) | |
tree | dd225279ce8d29fa56b0665b8c42929489a1b3cb | |
parent | dbae595249bdbacd852e677f9b3e995f65c16781 (diff) |
x86: export __supported_pte_mask
export __supported_pte_mask variable as GPL symbol.
lguest is a user of it.
Signed-off-by: Glauber de Oliveira Costa <gcosta@redhat.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
Signed-off-by: Thomas Gleixner <tglx@linutronix.de>
-rw-r--r-- | arch/x86/kernel/setup64.c | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/arch/x86/kernel/setup64.c b/arch/x86/kernel/setup64.c index 0389331059ad..309366f8f603 100644 --- a/arch/x86/kernel/setup64.c +++ b/arch/x86/kernel/setup64.c | |||
@@ -41,6 +41,8 @@ struct desc_ptr idt_descr = { 256 * 16 - 1, (unsigned long) idt_table }; | |||
41 | char boot_cpu_stack[IRQSTACKSIZE] __attribute__((section(".bss.page_aligned"))); | 41 | char boot_cpu_stack[IRQSTACKSIZE] __attribute__((section(".bss.page_aligned"))); |
42 | 42 | ||
43 | unsigned long __supported_pte_mask __read_mostly = ~0UL; | 43 | unsigned long __supported_pte_mask __read_mostly = ~0UL; |
44 | EXPORT_SYMBOL_GPL(__supported_pte_mask); | ||
45 | |||
44 | static int do_not_nx __cpuinitdata = 0; | 46 | static int do_not_nx __cpuinitdata = 0; |
45 | 47 | ||
46 | /* noexec=on|off | 48 | /* noexec=on|off |