1 /* SPDX-License-Identifier: GPL-2.0 */ 2 /* 3 * vdso_config.h: Configuration options for vDSO tests. 4 * Copyright (c) 2019 Arm Ltd. 5 */ 6 #ifndef __VDSO_CONFIG_H__ 7 #define __VDSO_CONFIG_H__ 8 9 /* 10 * Each architecture exports its vDSO implementation with different names 11 * and a different version from the others, so we need to handle it as a 12 * special case. 13 */ 14 #if defined(__arm__) 15 #define VDSO_VERSION 0 16 #define VDSO_NAMES 1 17 #define VDSO_32BIT 1 18 #elif defined(__aarch64__) 19 #define VDSO_VERSION 3 20 #define VDSO_NAMES 0 21 #elif defined(__powerpc__) 22 #define VDSO_VERSION 1 23 #define VDSO_NAMES 0 24 #define VDSO_32BIT 1 25 #elif defined(__powerpc64__) 26 #define VDSO_VERSION 1 27 #define VDSO_NAMES 0 28 #elif defined (__s390__) 29 #define VDSO_VERSION 2 30 #define VDSO_NAMES 0 31 #define VDSO_32BIT 1 32 #elif defined (__s390X__) 33 #define VDSO_VERSION 2 34 #define VDSO_NAMES 0 35 #elif defined(__mips__) 36 #define VDSO_VERSION 0 37 #define VDSO_NAMES 1 38 #define VDSO_32BIT 1 39 #elif defined(__sparc__) 40 #define VDSO_VERSION 0 41 #define VDSO_NAMES 1 42 #define VDSO_32BIT 1 43 #elif defined(__i386__) 44 #define VDSO_VERSION 0 45 #define VDSO_NAMES 1 46 #define VDSO_32BIT 1 47 #elif defined(__x86_64__) 48 #define VDSO_VERSION 0 49 #define VDSO_NAMES 1 50 #elif defined(__riscv__) || defined(__riscv) 51 #define VDSO_VERSION 5 52 #define VDSO_NAMES 1 53 #if __riscv_xlen == 32 54 #define VDSO_32BIT 1 55 #endif 56 #else /* nds32 */ 57 #define VDSO_VERSION 4 58 #define VDSO_NAMES 1 59 #define VDSO_32BIT 1 60 #endif 61 62 static const char *versions[6] = { 63 "LINUX_2.6", 64 "LINUX_2.6.15", 65 "LINUX_2.6.29", 66 "LINUX_2.6.39", 67 "LINUX_4", 68 "LINUX_4.15", 69 }; 70 71 static const char *names[2][6] = { 72 { 73 "__kernel_gettimeofday", 74 "__kernel_clock_gettime", 75 "__kernel_time", 76 "__kernel_clock_getres", 77 "__kernel_getcpu", 78 #if defined(VDSO_32BIT) 79 "__kernel_clock_gettime64", 80 #endif 81 }, 82 { 83 "__vdso_gettimeofday", 84 "__vdso_clock_gettime", 85 "__vdso_time", 86 "__vdso_clock_getres", 87 "__vdso_getcpu", 88 #if defined(VDSO_32BIT) 89 "__vdso_clock_gettime64", 90 #endif 91 }, 92 }; 93 94 #endif /* __VDSO_CONFIG_H__ */ 95