24 extern k8clock_type k8clock_initialized
;
27 extern void k8clock_init (k8clock_t
*clk
);
28 extern uint64_t k8clock_ms (k8clock_t
*clk
); // milliseconds; (0: no timer available)
29 extern uint64_t k8clock_micro (k8clock_t
*clk
); // microseconds; (0: no timer available)
31 extern uint64_t k8clock (void); // milliseconds; (0: no timer available)
32 extern uint64_t k8clockmicro (void); // microseconds; (0: no timer available)