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_ILLEGAL_POINTER_VALUE 18 #undef CONFIG_SPARSEMEM_VMEMMAP 19 #undef CONFIG_NR_CPUS 20 21 #define CONFIG_X86_32 1 22 #define CONFIG_PAGE_OFFSET 0 23 #define CONFIG_ILLEGAL_POINTER_VALUE 0 24 #define CONFIG_NR_CPUS 1 25 26 #define BUILD_VDSO32_64 27 28 #endif 29 30 #include "../vclock_gettime.c" 31