re-enable vdso clock_gettime on arm (32-bit) with workaround

[musl] / src / thread / __syscall_cp.c

diff --git a/src/thread/__syscall_cp.c b/src/thread/__syscall_cp.c
index afd82ef..42a0167 100644 (file)
--- a/src/thread/__syscall_cp.c
+++ b/src/thread/__syscall_cp.c
@@ -1,6 +1,5 @@
 #include "pthread_impl.h"
 #include "syscall.h"
-#include "libc.h"
 
 hidden long __syscall_cp_c();
 
@@ -8,7 +7,7 @@ static long sccp(syscall_arg_t nr,
                  syscall_arg_t u, syscall_arg_t v, syscall_arg_t w,
                  syscall_arg_t x, syscall_arg_t y, syscall_arg_t z)
 {
-       return (__syscall)(nr, u, v, w, x, y, z);
+       return __syscall(nr, u, v, w, x, y, z);
 }
 
 weak_alias(sccp, __syscall_cp_c);