1 // SPDX-License-Identifier: GPL-2.0 1 2 /* 3 * Configuration file for O32 and N32 binaries 4 * Note: To be included before lib/vdso/gettim 5 */ 6 #if defined(CONFIG_MIPS32_O32) || defined(CONF 7 /* 8 * In case of a 32 bit VDSO for a 64 bit kerne 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 20
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.