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

[musl] / src / thread / arm / __aeabi_read_tp.s

diff --git a/src/thread/arm/__aeabi_read_tp.s b/src/thread/arm/__aeabi_read_tp.s
index 9d0cd31..2585620 100644 (file)
--- a/src/thread/arm/__aeabi_read_tp.s
+++ b/src/thread/arm/__aeabi_read_tp.s
@@ -2,7 +2,9 @@
 .global __aeabi_read_tp
 .type __aeabi_read_tp,%function
 __aeabi_read_tp:
-       push {r1,r2,r3,lr}
-       bl __aeabi_read_tp_c
-       pop {r1,r2,r3,lr}
-       bx lr
+       ldr r0,1f
+       add r0,r0,pc
+       ldr r0,[r0]
+2:     bx r0
+       .align 2
+1:     .word __a_gettp_ptr - 2b