145 B
145 B
src/platform/linux/
time.c— POSIX timing backend (clock_gettime) for the hosted Linux build; implementsinclude/platform_time.h.
time.c — POSIX timing backend (clock_gettime) for the hosted Linux
build; implements include/platform_time.h.