cachepc-linux

Fork of AMDESE/linux with modifications for CachePC side-channel attack
git clone https://git.sinitax.com/sinitax/cachepc-linux
Log | Files | Refs | README | LICENSE | sfeed.txt

vclock_gettime.c (596B)

      1// SPDX-License-Identifier: GPL-2.0
      2#define BUILD_VDSO32
      3
      4#ifdef CONFIG_X86_64
      5
      6/*
      7 * in case of a 32 bit VDSO for a 64 bit kernel fake a 32 bit kernel
      8 * configuration
      9 */
     10#undef CONFIG_64BIT
     11#undef CONFIG_X86_64
     12#undef CONFIG_COMPAT
     13#undef CONFIG_PGTABLE_LEVELS
     14#undef CONFIG_ILLEGAL_POINTER_VALUE
     15#undef CONFIG_SPARSEMEM_VMEMMAP
     16#undef CONFIG_NR_CPUS
     17#undef CONFIG_PARAVIRT_XXL
     18
     19#define CONFIG_X86_32 1
     20#define CONFIG_PGTABLE_LEVELS 2
     21#define CONFIG_PAGE_OFFSET 0
     22#define CONFIG_ILLEGAL_POINTER_VALUE 0
     23#define CONFIG_NR_CPUS 1
     24
     25#define BUILD_VDSO32_64
     26
     27#endif
     28
     29#include "../vclock_gettime.c"