1 /*
2  * Copyright (c) 2017 Oticon A/S
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #ifndef _POSIX_POSIX_SOC_INF_CLOCK_H
8 #define _POSIX_POSIX_SOC_INF_CLOCK_H
9 
10 #include <zephyr/arch/posix/posix_soc_if.h>
11 
12 #ifdef __cplusplus
13 extern "C" {
14 #endif
15 
16 void posix_interrupt_raised(void);
17 void posix_boot_cpu(void);
18 int  posix_is_cpu_running(void);
19 void posix_change_cpu_state_and_wait(bool halted);
20 
21 #ifdef __cplusplus
22 }
23 #endif
24 
25 #endif /* _POSIX_POSIX_SOC_INF_CLOCK_H */
26