| /* |
| * Copyright (c) 2017 Oticon A/S |
| * |
| * SPDX-License-Identifier: Apache-2.0 |
| */ |
| |
| #ifndef _NATIVE_POSIX_HW_MODELS_H |
| #define _NATIVE_POSIX_HW_MODELS_H |
| |
| #include <zephyr/types.h> |
| #include <inttypes.h> |
| |
| #ifdef __cplusplus |
| extern "C" { |
| #endif |
| |
| #define NEVER UINT64_MAX |
| #define NSI_NEVER UINT64_MAX |
| |
| void hwm_one_event(void); |
| void hwm_init(void); |
| void hwm_cleanup(void); |
| void hwm_set_end_of_time(uint64_t new_end_of_time); |
| uint64_t hwm_get_time(void); |
| void hwm_find_next_timer(void); |
| |
| #ifdef __cplusplus |
| } |
| #endif |
| |
| #endif /* _NATIVE_POSIX_HW_MODELS_H */ |