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