kernel/arch/x86/entry/vdso/vdso32/vclock_gettime.c
.. .. @@ -1,10 +1,6 @@ 1 1 // SPDX-License-Identifier: GPL-2.0 2 2 #define BUILD_VDSO32 3 3 4 -#ifndef CONFIG_CC_OPTIMIZE_FOR_SIZE5 -#undef CONFIG_OPTIMIZE_INLINING6 -#endif7 -8 4 #ifdef CONFIG_X86_64 9 5 10 6 /* .. .. @@ -13,10 +9,12 @@ 13 9 */ 14 10 #undef CONFIG_64BIT 15 11 #undef CONFIG_X86_64 12 +#undef CONFIG_COMPAT16 13 #undef CONFIG_PGTABLE_LEVELS 17 14 #undef CONFIG_ILLEGAL_POINTER_VALUE 18 15 #undef CONFIG_SPARSEMEM_VMEMMAP 19 16 #undef CONFIG_NR_CPUS 17 +#undef CONFIG_PARAVIRT_XXL20 18 21 19 #define CONFIG_X86_32 1 22 20 #define CONFIG_PGTABLE_LEVELS 2