/* Get the current CPU ID, this is platform specific.  */
uint32_t sse_200_platform_get_cpu_id(void)
/* Get the current CPU ID, this is platform specific.  */
uint32_t sse_200_platform_get_cpu_id(void)
{
	volatile uint32_t *p_cpu_id = (volatile uint32_t *)SSE_200_CPU_ID_UNIT_BASE;
	return (uint32_t)*p_cpu_id;
}