LXR linux/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
  20