Searched refs:impl_send_ipi (Results 1 – 3 of 3) sorted by relevance
26 extern void impl_send_ipi(int cpu_id, test_thread_t thread, test_ipi_event_t event…
142 impl_send_ipi(cpu_id, thread, event); in cpu_send_ipi_for_thread()
404 impl_send_ipi(int cpu_id, test_thread_t thread, test_ipi_event_t event) in impl_send_ipi() function