Searched refs:mp_event_t (Results 1 – 3 of 3) sorted by relevance
47 } mp_event_t; typedef66 extern void i386_signal_cpu(int cpu, mp_event_t event, mp_sync_t mode);
227 mp_event_t event;
118 static boolean_t cpu_signal_pending(int cpu, mp_event_t event);765 i386_signal_cpu(int cpu, mp_event_t event, mp_sync_t mode) in i386_signal_cpu()1813 cpu_signal_pending(int cpu, mp_event_t event) in cpu_signal_pending()