x86_64,vsyscall: Make vsyscall emulation configurable

[cascardo/linux.git] / arch / x86 / kernel / setup.c

diff --git a/arch/x86/kernel/setup.c b/arch/x86/kernel/setup.c
index 235cfd3..59a6f88 100644 (file)
--- a/arch/x86/kernel/setup.c
+++ b/arch/x86/kernel/setup.c
@@ -1190,9 +1190,7 @@ void __init setup_arch(char **cmdline_p)
 
        tboot_probe();
 
-#ifdef CONFIG_X86_64
        map_vsyscall();
-#endif
 
        generic_apic_probe();