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