| commit | 987c0ff61c3b95845b2a2491e3f9a848b0c36ec7 | [log] [tgz] |
|---|---|---|
| author | Wedson Almeida Filho <wedsonaf@google.com> | Wed Jun 20 16:34:38 2018 +0100 |
| committer | Wedson Almeida Filho <wedsonaf@google.com> | Thu Jun 28 15:09:42 2018 +0100 |
| tree | 8f29452c208a8fd8f9f5cf5c7d87e7ebc4e380d4 |
Initial commit.
diff --git a/inc/timer.h b/inc/timer.h new file mode 100644 index 0000000..aac58c4 --- /dev/null +++ b/inc/timer.h
@@ -0,0 +1,10 @@ +#ifndef _TIMER_H +#define _TIMER_H + +#include <stdbool.h> + +void timer_init(void); +void timer_init_percpu(void); +void timer_set(uint64_t time, bool (*cb)(void *), void *context); + +#endif /* _TIMER_H */