1 /*
2  * Copyright (c) 2017 Oticon A/S
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #ifndef _NATIVE_POSIX_HW_MODELS_H
8 #define _NATIVE_POSIX_HW_MODELS_H
9 
10 #include <zephyr/types.h>
11 #include <inttypes.h>
12 
13 #ifdef __cplusplus
14 extern "C" {
15 #endif
16 
17 #define NEVER UINT64_MAX
18 
19 void hwm_one_event(void);
20 void hwm_init(void);
21 void hwm_cleanup(void);
22 void hwm_set_end_of_time(uint64_t new_end_of_time);
23 uint64_t hwm_get_time(void);
24 void hwm_find_next_timer(void);
25 
26 #ifdef __cplusplus
27 }
28 #endif
29 
30 #endif /* _NATIVE_POSIX_HW_MODELS_H */
31