/* Wake up CPU 1 from another CPU, this is platform specific.  */
void wakeup_cpu1(void)
/* Wake up CPU 1 from another CPU, this is platform specific.  */
void wakeup_cpu1(void)
{
	*(uint32_t *)(SSE_200_SYSTEM_CTRL_INITSVTOR1) =
					(uint32_t)_vector_start +
					NON_SECURE_FLASH_ADDRESS -
					NON_SECURE_FLASH_OFFSET;
	*(uint32_t *)(SSE_200_SYSTEM_CTRL_CPU_WAIT) = 0;
}