system_timer.h

Go to the documentation of this file.

/*
 * Copyright (c) 2015 Wind River Systems, Inc.
 * Copyright (c) 2019 Intel Corporation
 *
 * SPDX-License-Identifier: Apache-2.0
 */
 
#ifndef ZEPHYR_INCLUDE_DRIVERS_SYSTEM_TIMER_H_
#define ZEPHYR_INCLUDE_DRIVERS_SYSTEM_TIMER_H_
 
#include <stdbool.h>
#include <zephyr/types.h>
 
#ifdef __cplusplus
extern "C" {
#endif
 
extern void sys_clock_set_timeout(int32_t ticks, bool idle);
 
extern void sys_clock_idle_exit(void);
 
extern void sys_clock_announce(int32_t ticks);
 
extern uint32_t sys_clock_elapsed(void);
 
#if defined(CONFIG_SYS_CLOCK_EXISTS) && \
        defined(CONFIG_SYSTEM_TIMER_HAS_DISABLE_SUPPORT) || \
        defined(__DOXYGEN__)
extern void sys_clock_disable(void);
#else
static inline void sys_clock_disable(void) {}
#endif /* CONFIG_SYSTEM_TIMER_HAS_DISABLE_SUPPORT */
 
#ifdef __cplusplus
}
#endif
 
#endif /* ZEPHYR_INCLUDE_DRIVERS_SYSTEM_TIMER_H_ */