The libc types are not necessarily compatible with the vDSO functions.

Use the dedicated types from vdso_types.h instead.

Signed-off-by: Thomas Weißschuh <[email protected]>
---
 .../testing/selftests/vDSO/vdso_test_correctness.c | 38 ++++++++--------------
 1 file changed, 13 insertions(+), 25 deletions(-)

diff --git a/tools/testing/selftests/vDSO/vdso_test_correctness.c 
b/tools/testing/selftests/vDSO/vdso_test_correctness.c
index 
5a127fc93e7368cbe8d9fb4a4482a6a735ffd46c..276446d24f55d6b28910320e3d601bac501c2ca1
 100644
--- a/tools/testing/selftests/vDSO/vdso_test_correctness.c
+++ b/tools/testing/selftests/vDSO/vdso_test_correctness.c
@@ -7,7 +7,6 @@
 #define _GNU_SOURCE
 
 #include <stdio.h>
-#include <sys/time.h>
 #include <time.h>
 #include <stdlib.h>
 #include <unistd.h>
@@ -21,6 +20,7 @@
 
 #include "vdso_config.h"
 #include "vdso_call.h"
+#include "vdso_types.h"
 #include "../kselftest.h"
 
 static const char **name;
@@ -29,29 +29,14 @@ static const char **name;
 #define __NR_clock_gettime64   403
 #endif
 
-#ifndef __kernel_timespec
-struct __kernel_timespec {
-       long long       tv_sec;
-       long long       tv_nsec;
-};
-#endif
-
 /* max length of lines in /proc/self/maps - anything longer is skipped here */
 #define MAPS_LINE_LEN 128
 
 int nerrs = 0;
 
-typedef int (*vgettime_t)(clockid_t, struct timespec *);
-
-vgettime_t vdso_clock_gettime;
-
-typedef int (*vgettime64_t)(clockid_t, struct __kernel_timespec *);
-
-vgettime64_t vdso_clock_gettime64;
-
-typedef long (*vgtod_t)(struct timeval *tv, struct timezone *tz);
-
-vgtod_t vdso_gettimeofday;
+vdso_clock_gettime_t vdso_clock_gettime;
+vdso_clock_gettime64_t vdso_clock_gettime64;
+vdso_gettimeofday_t vdso_gettimeofday;
 
 typedef long (*getcpu_t)(unsigned *, unsigned *, void *);
 
@@ -124,17 +109,17 @@ static void fill_function_pointers(void)
 
        vgetcpu = (getcpu_t) vsyscall_getcpu();
 
-       vdso_clock_gettime = (vgettime_t)dlsym(vdso, name[1]);
+       vdso_clock_gettime = (vdso_clock_gettime_t)dlsym(vdso, name[1]);
        if (!vdso_clock_gettime)
                printf("Warning: failed to find clock_gettime in vDSO\n");
 
 #if defined(VDSO_32BIT)
-       vdso_clock_gettime64 = (vgettime64_t)dlsym(vdso, name[5]);
+       vdso_clock_gettime64 = (vdso_clock_gettime64_t)dlsym(vdso, name[5]);
        if (!vdso_clock_gettime64)
                printf("Warning: failed to find clock_gettime64 in vDSO\n");
 #endif
 
-       vdso_gettimeofday = (vgtod_t)dlsym(vdso, name[0]);
+       vdso_gettimeofday = (vdso_gettimeofday_t)dlsym(vdso, name[0]);
        if (!vdso_gettimeofday)
                printf("Warning: failed to find gettimeofday in vDSO\n");
 
@@ -252,7 +237,8 @@ static char const * const clocknames[] = {
 
 static void test_one_clock_gettime(int clock, const char *name)
 {
-       struct timespec start, vdso, end;
+       struct __kernel_old_timespec vdso;
+       struct timespec start, end;
        int vdso_ret, end_ret;
 
        printf("[RUN]\tTesting clock_gettime for clock %s (%d)...\n", name, 
clock);
@@ -376,8 +362,10 @@ static void test_clock_gettime64(void)
 
 static void test_gettimeofday(void)
 {
-       struct timeval start, vdso, end;
-       struct timezone sys_tz, vdso_tz;
+       struct __kernel_old_timeval vdso;
+       struct kernel_timezone vdso_tz;
+       struct timeval start, end;
+       struct timezone sys_tz;
        int vdso_ret, end_ret;
 
        if (!vdso_gettimeofday)

-- 
2.51.0


Reply via email to