arch/mips/vdso/config-n32-o32-env.c

   1 // SPDX-License-Identifier: GPL-2.0
   2 /*
   3  * Configuration file for O32 and N32 binaries.
   4  * Note: To be included before lib/vdso/gettimeofday.c
   5  */
   6 #if defined(CONFIG_MIPS32_O32) || defined(CONFIG_MIPS32_N32)
   7 /*
   8  * In case of a 32 bit VDSO for a 64 bit kernel fake a 32 bit kernel
   9  * configuration.
  10  */
  11 #undef CONFIG_64BIT
  12
  13 #define BUILD_VDSO32
  14 #define CONFIG_32BIT 1
  15 #define CONFIG_GENERIC_ATOMIC64 1
  16 #define BUILD_VDSO32_64
  17
  18 #endif
  19