x86: export __supported_pte_mask
authorGlauber de Oliveira Costa <gcosta@redhat.com>
Wed, 30 Jan 2008 12:33:24 +0000 (13:33 +0100)
committerIngo Molnar <mingo@elte.hu>
Wed, 30 Jan 2008 12:33:24 +0000 (13:33 +0100)
commite68decb52104388ed6c6218be926e10e6cde2814
treedd225279ce8d29fa56b0665b8c42929489a1b3cb
parentdbae595249bdbacd852e677f9b3e995f65c16781
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>
arch/x86/kernel/setup64.c