Searched refs:VKI_CLOCK_MONOTONIC (Results 1 – 3 of 3) sorted by relevance
919 res = VG_(do_syscall2)(__NR_clock_gettime, VKI_CLOCK_MONOTONIC, in VG_()
1257 #define VKI_CLOCK_MONOTONIC CLOCK_MONOTONIC macro
281 #define VKI_CLOCK_MONOTONIC 1 macro