kernel/arch/x86/vdso/vdso32/vclock_gettime.c

   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"