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