Searched refs:test_ipi_event_t (Results 1 – 4 of 4) sorted by relevance
62 } test_ipi_event_t; // Mirrors sched_ipi_event_t typedef63 extern void cpu_send_ipi_for_thread(int cpu_id, test_thread_t thread, test_ipi_event_t event);
25 extern void impl_send_ipi(int cpu_id, test_thread_t thread, test_ipi_event_t event…
97 cpu_send_ipi_for_thread(int cpu_id, test_thread_t thread, test_ipi_event_t event) in cpu_send_ipi_for_thread()
405 impl_send_ipi(int cpu_id, test_thread_t thread, test_ipi_event_t event) in impl_send_ipi()