| 1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192 |
- /* SPDX-License-Identifier: GPL-2.0 */
- /*
- * vdso_config.h: Configuration options for vDSO tests.
- * Copyright (c) 2019 Arm Ltd.
- */
- #ifndef __VDSO_CONFIG_H__
- #define __VDSO_CONFIG_H__
- /*
- * Each architecture exports its vDSO implementation with different names
- * and a different version from the others, so we need to handle it as a
- * special case.
- */
- #if defined(__arm__)
- #define VDSO_VERSION 0
- #define VDSO_NAMES 1
- #define VDSO_32BIT 1
- #elif defined(__aarch64__)
- #define VDSO_VERSION 3
- #define VDSO_NAMES 0
- #elif defined(__powerpc64__)
- #define VDSO_VERSION 1
- #define VDSO_NAMES 0
- #elif defined(__powerpc__)
- #define VDSO_VERSION 1
- #define VDSO_NAMES 0
- #define VDSO_32BIT 1
- #elif defined (__s390x__)
- #define VDSO_VERSION 2
- #define VDSO_NAMES 0
- #elif defined(__mips__)
- #define VDSO_VERSION 0
- #define VDSO_NAMES 1
- #define VDSO_32BIT 1
- #elif defined(__sparc__)
- #define VDSO_VERSION 0
- #define VDSO_NAMES 1
- #define VDSO_32BIT 1
- #elif defined(__i386__)
- #define VDSO_VERSION 0
- #define VDSO_NAMES 1
- #define VDSO_32BIT 1
- #elif defined(__x86_64__)
- #define VDSO_VERSION 0
- #define VDSO_NAMES 1
- #elif defined(__riscv__) || defined(__riscv)
- #define VDSO_VERSION 5
- #define VDSO_NAMES 1
- #if __riscv_xlen == 32
- #define VDSO_32BIT 1
- #endif
- #elif defined(__loongarch__)
- #define VDSO_VERSION 6
- #define VDSO_NAMES 1
- #endif
- __attribute__((unused))
- static const char *versions[7] = {
- "LINUX_2.6",
- "LINUX_2.6.15",
- "LINUX_2.6.29",
- "LINUX_2.6.39",
- "LINUX_4",
- "LINUX_4.15",
- "LINUX_5.10"
- };
- __attribute__((unused))
- static const char *names[2][8] = {
- {
- "__kernel_gettimeofday",
- "__kernel_clock_gettime",
- "__kernel_time",
- "__kernel_clock_getres",
- "__kernel_getcpu",
- "__kernel_clock_gettime64",
- "__kernel_getrandom",
- "__kernel_clock_getres_time64",
- },
- {
- "__vdso_gettimeofday",
- "__vdso_clock_gettime",
- "__vdso_time",
- "__vdso_clock_getres",
- "__vdso_getcpu",
- "__vdso_clock_gettime64",
- "__vdso_getrandom",
- "__vdso_clock_getres_time64",
- },
- };
- #endif /* __VDSO_CONFIG_H__ */
|