Searched refs:test_ipi_event_t (Results 1 – 4 of 4) sorted by relevance
71 } test_ipi_event_t; // Mirrors sched_ipi_event_t typedef72 extern void cpu_send_ipi_for_thread(int cpu_id, test_thread_t thread, test_ipi_event_t event);
26 extern void impl_send_ipi(int cpu_id, test_thread_t thread, test_ipi_event_t event…
138 cpu_send_ipi_for_thread(int cpu_id, test_thread_t thread, test_ipi_event_t 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()