Merge branch 'x86-vdso-for-linus' of git://git.kernel.org/pub/scm/linux/kernel/git...
[cascardo/linux.git] / arch / x86 / kernel / setup.c
index 214245d..ab4734e 100644 (file)
@@ -1192,9 +1192,7 @@ void __init setup_arch(char **cmdline_p)
 
        tboot_probe();
 
-#ifdef CONFIG_X86_64
        map_vsyscall();
-#endif
 
        generic_apic_probe();