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