[PATCH] x86/vdso: Add ARCH_MAP_VDSO_X32 if CONFIG_X86_X32_ABI.

[Vinson Lee]

vdso_image_x32 is generated if CONFIG_X86_X32_ABI.

This patch fixes this build error on CentOS 6.8 with gcc 4.4.

  LD      init/built-in.o
arch/x86/built-in.o: In function `do_arch_prctl':
(.text+0x27466): undefined reference to `vdso_image_x32'
arch/x86/built-in.o: In function `do_arch_prctl':
(.text+0x27477): undefined reference to `vdso_image_x32'

Fixes: 2eefd8789698 ("x86/arch_prctl/vdso: Add ARCH_MAP_VDSO_*")
Signed-off-by: Vinson Lee <v...@freedesktop.org>
---
 arch/x86/kernel/process_64.c |    2 +-
 1 files changed, 1 insertions(+), 1 deletions(-)

diff --git a/arch/x86/kernel/process_64.c b/arch/x86/kernel/process_64.c
index b34caea..b3760b3 100644
--- a/arch/x86/kernel/process_64.c
+++ b/arch/x86/kernel/process_64.c
@@ -592,7 +592,7 @@ long do_arch_prctl(struct task_struct *task, int code, 
unsigned long addr)
        }
 
 #ifdef CONFIG_CHECKPOINT_RESTORE
-# ifdef CONFIG_X86_X32
+# ifdef CONFIG_X86_X32_ABI
        case ARCH_MAP_VDSO_X32:
                return prctl_map_vdso(&vdso_image_x32, addr);
 # endif
-- 
1.7.1