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 #define NSI_NEVER UINT64_MAX
19 
20 void hwm_one_event(void);
21 void hwm_init(void);
22 void hwm_cleanup(void);
23 void hwm_set_end_of_time(uint64_t new_end_of_time);
24 uint64_t hwm_get_time(void);
25 void hwm_find_next_timer(void);
26 
27 #ifdef __cplusplus
28 }
29 #endif
30 
31 #endif /* _NATIVE_POSIX_HW_MODELS_H */
32