162306a36Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0 262306a36Sopenharmony_ci/* 362306a36Sopenharmony_ci * Configuration file for O32 and N32 binaries. 462306a36Sopenharmony_ci * Note: To be included before lib/vdso/gettimeofday.c 562306a36Sopenharmony_ci */ 662306a36Sopenharmony_ci#if defined(CONFIG_MIPS32_O32) || defined(CONFIG_MIPS32_N32) 762306a36Sopenharmony_ci/* 862306a36Sopenharmony_ci * In case of a 32 bit VDSO for a 64 bit kernel fake a 32 bit kernel 962306a36Sopenharmony_ci * configuration. 1062306a36Sopenharmony_ci */ 1162306a36Sopenharmony_ci#undef CONFIG_64BIT 1262306a36Sopenharmony_ci 1362306a36Sopenharmony_ci#define BUILD_VDSO32 1462306a36Sopenharmony_ci#define CONFIG_32BIT 1 1562306a36Sopenharmony_ci#define CONFIG_GENERIC_ATOMIC64 1 1662306a36Sopenharmony_ci#define BUILD_VDSO32_64 1762306a36Sopenharmony_ci 1862306a36Sopenharmony_ci#endif 1962306a36Sopenharmony_ci 20