1 #define BUILD_VDSO32 2 3 #ifndef CONFIG_CC_OPTIMIZE_FOR_SIZE 4 #undef CONFIG_OPTIMIZE_INLINING 5 #endif 6 7 #undef CONFIG_X86_PPRO_FENCE 8 9 #ifdef CONFIG_X86_64 10 11 /* 12 * in case of a 32 bit VDSO for a 64 bit kernel fake a 32 bit kernel 13 * configuration 14 */ 15 #undef CONFIG_64BIT 16 #undef CONFIG_X86_64 17 #undef CONFIG_PGTABLE_LEVELS 18 #undef CONFIG_ILLEGAL_POINTER_VALUE 19 #undef CONFIG_SPARSEMEM_VMEMMAP 20 #undef CONFIG_NR_CPUS 21 22 #define CONFIG_X86_32 1 23 #define CONFIG_PGTABLE_LEVELS 2 24 #define CONFIG_PAGE_OFFSET 0 25 #define CONFIG_ILLEGAL_POINTER_VALUE 0 26 #define CONFIG_NR_CPUS 1 27 28 #define BUILD_VDSO32_64 29 30 #endif 31 32 #include "../vclock_gettime.c" 33