re-enable vdso clock_gettime on arm (32-bit) with workaround
[musl] / arch / riscv64 / pthread_arch.h
1 static inline uintptr_t __get_tp()
2 {
3         uintptr_t tp;
4         __asm__ __volatile__("mv %0, tp" : "=r"(tp));
5         return tp;
6 }
7
8 #define TLS_ABOVE_TP
9 #define GAP_ABOVE_TP 0
10
11 #define DTP_OFFSET 0x800
12
13 #define MC_PC __gregs[0]