arch/x86/entry/vdso/vdso32/fake_32bit_build.h

   1 /* SPDX-License-Identifier: GPL-2.0 */
   2 #ifdef CONFIG_X86_64
   3
   4 /*
   5  * in case of a 32 bit VDSO for a 64 bit kernel fake a 32 bit kernel
   6  * configuration
   7  */
   8 #undef CONFIG_64BIT
   9 #undef CONFIG_X86_64
  10 #undef CONFIG_COMPAT
  11 #undef CONFIG_PGTABLE_LEVELS
  12 #undef CONFIG_ILLEGAL_POINTER_VALUE
  13 #undef CONFIG_SPARSEMEM_VMEMMAP
  14 #undef CONFIG_NR_CPUS
  15 #undef CONFIG_PARAVIRT_XXL
  16
  17 #define CONFIG_X86_32 1
  18 #define CONFIG_PGTABLE_LEVELS 2
  19 #define CONFIG_PAGE_OFFSET 0
  20 #define CONFIG_ILLEGAL_POINTER_VALUE 0
  21 #define CONFIG_NR_CPUS 1
  22
  23 #define BUILD_VDSO32_64
  24
  25 #endif