25 lines
403 B
C
25 lines
403 B
C
/*
|
|
* Copyright (c) 2017 Oticon A/S
|
|
*
|
|
* SPDX-License-Identifier: Apache-2.0
|
|
*/
|
|
|
|
#ifndef _POSIX_POSIX_SOC_INF_CLOCK_H
|
|
#define _POSIX_POSIX_SOC_INF_CLOCK_H
|
|
|
|
#include <arch/posix/posix_soc_if.h>
|
|
|
|
#ifdef __cplusplus
|
|
extern "C" {
|
|
#endif
|
|
|
|
void posix_interrupt_raised(void);
|
|
void posix_boot_cpu(void);
|
|
int posix_is_cpu_running(void);
|
|
|
|
#ifdef __cplusplus
|
|
}
|
|
#endif
|
|
|
|
#endif /* _POSIX_POSIX_SOC_INF_CLOCK_H */
|