| /* | |
| * Copyright (c) 2017-2019 Linaro Limited | |
| * | |
| * SPDX-License-Identifier: Apache-2.0 | |
| */ | |
| #ifndef _SOC_H_ | |
| #define _SOC_H_ | |
| #include <cmsis_core_m_defaults.h> | |
| #include <soc_registers.h> | |
| extern void wakeup_cpu1(void); | |
| extern uint32_t sse_200_platform_get_cpu_id(void); | |
| #endif /* _SOC_H_ */ |