You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
39 lines
964 B
39 lines
964 B
/* |
|
* Copyright (c) 2017 Oticon A/S |
|
* |
|
* SPDX-License-Identifier: Apache-2.0 |
|
*/ |
|
|
|
#ifndef _NATIVE_POSIX_TIMER_MODEL_H |
|
#define _NATIVE_POSIX_TIMER_MODEL_H |
|
|
|
#include "hw_models_top.h" |
|
#include <stdbool.h> |
|
|
|
#ifdef __cplusplus |
|
extern "C" { |
|
#endif |
|
|
|
void hwtimer_init(void); |
|
void hwtimer_cleanup(void); |
|
void hwtimer_set_real_time_mode(bool new_rt); |
|
void hwtimer_timer_reached(void); |
|
void hwtimer_wake_in_time(uint64_t time); |
|
void hwtimer_set_silent_ticks(int64_t sys_ticks); |
|
void hwtimer_enable(uint64_t period); |
|
int64_t hwtimer_get_pending_silent_ticks(void); |
|
|
|
void hwtimer_reset_rtc(void); |
|
void hwtimer_set_rtc_offset(int64_t offset); |
|
void hwtimer_set_rt_ratio(double ratio); |
|
|
|
void hwtimer_adjust_rtc_offset(int64_t offset_delta); |
|
void hwtimer_adjust_rt_ratio(double ratio_correction); |
|
int64_t hwtimer_get_simu_rtc_time(void); |
|
void hwtimer_get_pseudohost_rtc_time(uint32_t *nsec, uint64_t *sec); |
|
|
|
#ifdef __cplusplus |
|
} |
|
#endif |
|
|
|
#endif /* _NATIVE_POSIX_TIMER_MODEL_H */
|
|
|