#define BUILD_VDSO32 #ifndef [31mCONFIG_CC_OPTIMIZE_FOR_SIZE[0m #undef [31mCONFIG_OPTIMIZE_INLINING[0m #endif #undef [31mCONFIG_X86_PPRO_FENCE[0m #ifdef [31mCONFIG_X86_64[0m /* * in case of a 32 bit VDSO for a 64 bit kernel fake a 32 bit kernel * configuration */ #undef [31mCONFIG_64BIT[0m #undef [31mCONFIG_X86_64[0m #undef [31mCONFIG_PGTABLE_LEVELS[0m #undef [31mCONFIG_ILLEGAL_POINTER_VALUE[0m #undef [31mCONFIG_SPARSEMEM_VMEMMAP[0m #undef [31mCONFIG_NR_CPUS[0m #define [31mCONFIG_X86_32[0m 1 #define [31mCONFIG_PGTABLE_LEVELS[0m 2 #define [31mCONFIG_PAGE_OFFSET[0m 0 #define [31mCONFIG_ILLEGAL_POINTER_VALUE[0m 0 #define [31mCONFIG_NR_CPUS[0m 1 #define BUILD_VDSO32_64 #endif #include "../vclock_gettime.c" |