Searched refs:sse_200_platform_get_cpu_id (Results 1 – 8 of 8) sorted by relevance
55 sse_200_platform_get_cpu_id()); in main()60 sse_200_platform_get_cpu_id()); in main()64 if (sse_200_platform_get_cpu_id() == MHU_CPU0) { in main()
15 extern uint32_t sse_200_platform_get_cpu_id(void);
65 uint32_t sse_200_platform_get_cpu_id(void) in sse_200_platform_get_cpu_id() function
17 extern uint32_t sse_200_platform_get_cpu_id(void);
41 uint32_t sse_200_platform_get_cpu_id(void) in sse_200_platform_get_cpu_id() function
110 uint32_t current_core = sse_200_platform_get_cpu_id(); in ipc_virtio_notify()
60 uint32_t current_core = sse_200_platform_get_cpu_id(); in ipc_virtio_notify()
70 uint32_t current_core = sse_200_platform_get_cpu_id(); in ipc_virtio_notify()
