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

 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