1/* Simple timer, for use in benchmark reporting. */ 2 3typedef struct { 4 nstime_t t0; 5 nstime_t t1; 6} timedelta_t; 7 8void timer_start(timedelta_t *timer); 9void timer_stop(timedelta_t *timer); 10uint64_t timer_usec(const timedelta_t *timer); 11void timer_ratio(timedelta_t *a, timedelta_t *b, char *buf, size_t buflen); 12