93 lines · c
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 names11 * and a different version from the others, so we need to handle it as a12 * special case.13 */14#if defined(__arm__)15#define VDSO_VERSION 016#define VDSO_NAMES 117#define VDSO_32BIT 118#elif defined(__aarch64__)19#define VDSO_VERSION 320#define VDSO_NAMES 021#elif defined(__powerpc64__)22#define VDSO_VERSION 123#define VDSO_NAMES 024#elif defined(__powerpc__)25#define VDSO_VERSION 126#define VDSO_NAMES 027#define VDSO_32BIT 128#elif defined (__s390__) && !defined(__s390x__)29#define VDSO_VERSION 230#define VDSO_NAMES 031#define VDSO_32BIT 132#elif defined (__s390x__)33#define VDSO_VERSION 234#define VDSO_NAMES 035#elif defined(__mips__)36#define VDSO_VERSION 037#define VDSO_NAMES 138#define VDSO_32BIT 139#elif defined(__sparc__)40#define VDSO_VERSION 041#define VDSO_NAMES 142#define VDSO_32BIT 143#elif defined(__i386__)44#define VDSO_VERSION 045#define VDSO_NAMES 146#define VDSO_32BIT 147#elif defined(__x86_64__)48#define VDSO_VERSION 049#define VDSO_NAMES 150#elif defined(__riscv__) || defined(__riscv)51#define VDSO_VERSION 552#define VDSO_NAMES 153#if __riscv_xlen == 3254#define VDSO_32BIT 155#endif56#elif defined(__loongarch__)57#define VDSO_VERSION 658#define VDSO_NAMES 159#endif60 61static const char *versions[7] = {62 "LINUX_2.6",63 "LINUX_2.6.15",64 "LINUX_2.6.29",65 "LINUX_2.6.39",66 "LINUX_4",67 "LINUX_4.15",68 "LINUX_5.10"69};70 71static const char *names[2][7] = {72 {73 "__kernel_gettimeofday",74 "__kernel_clock_gettime",75 "__kernel_time",76 "__kernel_clock_getres",77 "__kernel_getcpu",78 "__kernel_clock_gettime64",79 "__kernel_getrandom",80 },81 {82 "__vdso_gettimeofday",83 "__vdso_clock_gettime",84 "__vdso_time",85 "__vdso_clock_getres",86 "__vdso_getcpu",87 "__vdso_clock_gettime64",88 "__vdso_getrandom",89 },90};91 92#endif /* __VDSO_CONFIG_H__ */93