| /* |
| * 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" |
| |
| #ifdef __cplusplus |
| extern "C" { |
| #endif |
| |
| void hwtimer_init(void); |
| void hwtimer_cleanup(void); |
| void hwtimer_timer_reached(void); |
| void hwtimer_wake_in_time(u64_t time); |
| void hwtimer_set_silent_ticks(s64_t sys_ticks); |
| void hwtimer_enable(u64_t period); |
| s64_t hwtimer_get_pending_silent_ticks(void); |
| |
| #ifdef __cplusplus |
| } |
| #endif |
| |
| #endif /* _NATIVE_POSIX_TIMER_MODEL_H */ |