Currently, calling gettimeofday() has syscall overhead, which makes it less accurate as a timing mechanism. If we introduce something like Linux's vDSO and map the pages containing the hardware clock information as read-only into userspace, we could potentially reduce the overhead to be that of a mov instruction (+ processing costs).