| 1234567891011121314151617181920212223242526272829303132 |
- #define BUILD_VDSO32
- #ifndef CONFIG_CC_OPTIMIZE_FOR_SIZE
- #undef CONFIG_OPTIMIZE_INLINING
- #endif
- #undef CONFIG_X86_PPRO_FENCE
- #ifdef CONFIG_X86_64
- /*
- * in case of a 32 bit VDSO for a 64 bit kernel fake a 32 bit kernel
- * configuration
- */
- #undef CONFIG_64BIT
- #undef CONFIG_X86_64
- #undef CONFIG_PGTABLE_LEVELS
- #undef CONFIG_ILLEGAL_POINTER_VALUE
- #undef CONFIG_SPARSEMEM_VMEMMAP
- #undef CONFIG_NR_CPUS
- #define CONFIG_X86_32 1
- #define CONFIG_PGTABLE_LEVELS 2
- #define CONFIG_PAGE_OFFSET 0
- #define CONFIG_ILLEGAL_POINTER_VALUE 0
- #define CONFIG_NR_CPUS 1
- #define BUILD_VDSO32_64
- #endif
- #include "../vclock_gettime.c"
|
