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 #include <zephyr/toolchain.h>
11 
12 /*
13  * This file lists the functions the posix "inf_clock" soc
14  * expect the the board to provide
15  *
16  * All functions listed here must be provided by the implementation of the board
17  *
18  * See soc_irq.h for more
19  */
20 
21 #ifdef __cplusplus
22 extern "C" {
23 #endif
24 
25 void posix_irq_handler(void);
26 FUNC_NORETURN void posix_exit(int exit_code);
27 uint64_t posix_get_hw_cycle(void);
28 void posix_cpu_hold(uint32_t usec_to_waste);
29 
30 #ifdef __cplusplus
31 }
32 #endif
33 
34 #endif /* _POSIX_CORE_BOARD_PROVIDED_IF_H */
35