18c2ecf20Sopenharmony_ci// SPDX-License-Identifier: GPL-2.0 28c2ecf20Sopenharmony_ci/* 38c2ecf20Sopenharmony_ci * Configuration file for O32 and N32 binaries. 48c2ecf20Sopenharmony_ci * Note: To be included before lib/vdso/gettimeofday.c 58c2ecf20Sopenharmony_ci */ 68c2ecf20Sopenharmony_ci#if defined(CONFIG_MIPS32_O32) || defined(CONFIG_MIPS32_N32) 78c2ecf20Sopenharmony_ci/* 88c2ecf20Sopenharmony_ci * In case of a 32 bit VDSO for a 64 bit kernel fake a 32 bit kernel 98c2ecf20Sopenharmony_ci * configuration. 108c2ecf20Sopenharmony_ci */ 118c2ecf20Sopenharmony_ci#undef CONFIG_64BIT 128c2ecf20Sopenharmony_ci 138c2ecf20Sopenharmony_ci#define BUILD_VDSO32 148c2ecf20Sopenharmony_ci#define CONFIG_32BIT 1 158c2ecf20Sopenharmony_ci#define CONFIG_GENERIC_ATOMIC64 1 168c2ecf20Sopenharmony_ci#define BUILD_VDSO32_64 178c2ecf20Sopenharmony_ci 188c2ecf20Sopenharmony_ci#endif 198c2ecf20Sopenharmony_ci 20