Searched refs:test_ipi_event_t (Results 1 – 4 of 4) sorted by relevance
69 } test_ipi_event_t; // Mirrors sched_ipi_event_t typedef70 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()
463 impl_send_ipi(int cpu_id, test_thread_t thread, test_ipi_event_t event) in impl_send_ipi()