1 /*
2  * Copyright (c) 2017 Oticon A/S
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 #ifndef _POSIX_CORE_BOARD_PROVIDED_IF_H
7 #define _POSIX_CORE_BOARD_PROVIDED_IF_H
8 
9 #include <zephyr/types.h>
10 
11 /*
12  * This file lists the functions the posix "inf_clock" soc
13  * expect the the board to provide
14  *
15  * All functions listed here must be provided by the implementation of the board
16  *
17  * See soc_irq.h for more
18  */
19 
20 #ifdef __cplusplus
21 extern "C" {
22 #endif
23 
24 void posix_irq_handler(void);
25 void posix_exit(int exit_code);
26 uint64_t posix_get_hw_cycle(void);
27 void posix_cpu_hold(uint32_t usec_to_waste);
28 
29 #ifdef __cplusplus
30 }
31 #endif
32 
33 #endif /* _POSIX_CORE_BOARD_PROVIDED_IF_H */
34