1 /*
2  * Copyright (c) 2017-2019 Linaro Limited
3  *
4  * SPDX-License-Identifier: Apache-2.0
5  */
6 
7 #ifndef _SOC_H_
8 #define _SOC_H_
9 
10 #include <cmsis_core_m_defaults.h>
11 #include <soc_registers.h>
12 
13 extern void wakeup_cpu1(void);
14 
15 extern uint32_t sse_200_platform_get_cpu_id(void);
16 
17 #endif /* _SOC_H_ */
18