// SPDX-License-Identifier: GPL-2.0 /* * Configuration file for O32 and N32 binaries. * Note: To be included before lib/vdso/gettimeofday.c */ #if defined(CONFIG_MIPS32_O32) || defined(CONFIG_MIPS32_N32) /* * In case of a 32 bit VDSO for a 64 bit kernel fake a 32 bit kernel * configuration. */ #undef CONFIG_64BIT #define BUILD_VDSO32 #define CONFIG_32BIT 1 #define CONFIG_GENERIC_ATOMIC64 1 #define BUILD_VDSO32_64 #endif