#ifndef __INC_TIME_H
#define __INC_TIME_H

#include <stdint.h>

extern uint64_t now_monotonic_usec();
extern uint64_t ts();

#endif /* __INC_TIME_H */