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