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

0001 // SPDX-License-Identifier: GPL-2.0
0002 /*
0003  * Configuration file for O32 and N32 binaries.
0004  * Note: To be included before lib/vdso/gettimeofday.c
0005  */
0006 #if defined(CONFIG_MIPS32_O32) || defined(CONFIG_MIPS32_N32)
0007 /*
0008  * In case of a 32 bit VDSO for a 64 bit kernel fake a 32 bit kernel
0009  * configuration.
0010  */
0011 #undef CONFIG_64BIT
0012
0013 #define BUILD_VDSO32
0014 #define CONFIG_32BIT 1
0015 #define CONFIG_GENERIC_ATOMIC64 1
0016 #define BUILD_VDSO32_64
0017
0018 #endif
0019