xref: /OK3568_Linux_fs/kernel/arch/mips/vdso/config-n32-o32-env.c (revision 4882a59341e53eb6f0b4789bf948001014eff981)
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