Searched refs:VDSO_CGT_SYM (Results 1 - 8 of 8) sorted by relevance

/seL4-camkes-master/projects/musllibc/src/time/
H A Dclock_gettime.c8 #ifdef VDSO_CGT_SYM
16 void *p = __vdsosym(VDSO_CGT_VER, VDSO_CGT_SYM);
31 #ifdef VDSO_CGT_SYM
/seL4-camkes-master/projects/musllibc/arch/i386/
H A Dsyscall_arch.h56 #define VDSO_CGT_SYM "__vdso_clock_gettime" macro
/seL4-camkes-master/projects/musllibc/arch/x86_64/
H A Dsyscall_arch.h65 #define VDSO_CGT_SYM "__vdso_clock_gettime" macro
/seL4-camkes-master/projects/musllibc/arch/aarch64/
H A Dsyscall_arch.h75 #define VDSO_CGT_SYM "__kernel_clock_gettime" macro
/seL4-camkes-master/projects/musllibc/arch/arm/
H A Dsyscall_arch.h77 #define VDSO_CGT_SYM "__vdso_clock_gettime" macro
/seL4-camkes-master/projects/musllibc/arch/mips/
H A Dsyscall_arch.h166 #define VDSO_CGT_SYM "__vdso_clock_gettime" macro
/seL4-camkes-master/projects/musllibc/arch/mipsn32/
H A Dsyscall_arch.h164 #define VDSO_CGT_SYM "__vdso_clock_gettime" macro
/seL4-camkes-master/projects/musllibc/arch/mips64/
H A Dsyscall_arch.h280 #define VDSO_CGT_SYM "__vdso_clock_gettime" macro

Completed in 98 milliseconds