15#ifndef ZEPHYR_INCLUDE_DRIVERS_SYSTEM_TIMER_H_
16#define ZEPHYR_INCLUDE_DRIVERS_SYSTEM_TIMER_H_
uint64_t sys_clock_cycle_get_64(void)
64 bit hardware cycle counter
uint32_t sys_clock_cycle_get_32(void)
Hardware cycle counter.
void sys_clock_disable(void)
Disable system timer.
void sys_clock_idle_exit(void)
Timer idle exit notification.
void sys_clock_set_timeout(int32_t ticks, bool idle)
Set system clock timeout.
void sys_clock_announce(int32_t ticks)
Announce time progress to the kernel.
uint32_t sys_clock_elapsed(void)
Ticks elapsed since last sys_clock_announce() call.
__UINT32_TYPE__ uint32_t
Definition stdint.h:90
__INT32_TYPE__ int32_t
Definition stdint.h:74
__UINT64_TYPE__ uint64_t
Definition stdint.h:91
void idle(void *p1, void *p2, void *p3)