diff options
author | Glauber de Oliveira Costa <gcosta@redhat.com> | 2008-01-30 13:33:24 +0100 |
---|---|---|
committer | Ingo Molnar <mingo@elte.hu> | 2008-01-30 13:33:24 +0100 |
commit | e68decb52104388ed6c6218be926e10e6cde2814 (patch) | |
tree | dd225279ce8d29fa56b0665b8c42929489a1b3cb /arch/x86/xen | |
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>
Diffstat (limited to 'arch/x86/xen')
0 files changed, 0 insertions, 0 deletions