// SPDX-License-Identifier: GPL-2.0 /* * Configuration file for O32 and N32 binaries. * Note: To be included before lib/vdso/gettimeofday.c */ #if defined([31mCONFIG_MIPS32_O32[0m) || defined([31mCONFIG_MIPS32_N32[0m) /* * In case of a 32 bit VDSO for a 64 bit kernel fake a 32 bit kernel * configuration. */ #undef [31mCONFIG_64BIT[0m #define BUILD_VDSO32 #define [31mCONFIG_32BIT[0m 1 #define [31mCONFIG_GENERIC_ATOMIC64[0m 1 #define BUILD_VDSO32_64 #endif |