#ifndef __TIMING_H__
#define __TIMING_H__

#include <stdint.h>

uint64_t timing_get_time(void);
void timing_sleep(uint64_t sleeptime);

#endif  /* __TIMING_H__ */