Searched defs:current_core (Results 1 – 3 of 3) sorted by relevance
60 uint32_t current_core = sse_200_platform_get_cpu_id(); in ipc_virtio_notify() local
110 uint32_t current_core = sse_200_platform_get_cpu_id(); in ipc_virtio_notify() local
70 uint32_t current_core = sse_200_platform_get_cpu_id(); in ipc_virtio_notify() local
