compteurelec/timer.h

#ifndef TIMER_H
#define TIMER_H

#include <stdint.h>

void 			timer_init();
uint64_t 	get_time_us();
void 			set_delta();
uint64_t 	get_delta();
void 			micro_sleep(unsigned long x);
unsigned long time_micros();
#endif