/*
 * Copyright (c) 2018 Linaro Limited
 *
 * SPDX-License-Identifier: Apache-2.0
 */

#ifndef _SOC_H_
#define _SOC_H_

#ifndef _ASMLANGUAGE
#include "system_cmsdk_musca_b1.h"
#include <zephyr/sys/util.h>
#endif

extern void wakeup_cpu1(void);

extern uint32_t sse_200_platform_get_cpu_id(void);

#endif /* _SOC_H_ */