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