Searched refs:XC_CPUPOKE_PIL (Results 1 – 7 of 7) sorted by relevance
131 ec_try_ipi(XC_CPUPOKE_PIL, c); in kdi_start_slaves()148 ec_wait_on_ipi(XC_CPUPOKE_PIL, check_slave, NULL); in kdi_slave_wait()
177 #define IRQ_IS_CPUPOKE(irq) (ipi_info[XC_CPUPOKE_PIL].mi_irq == (irq))1319 ttp->ttr_ipl = XC_CPUPOKE_PIL; in xen_callback_handler()
35 #define XC_CPUPOKE_PIL 11 /* poke to cause wakeup, no service function */ macro
57 send_dirint(cpun, XC_CPUPOKE_PIL); in poke_cpu()
1161 (void) (*pops->psm_get_ipivect)(XC_CPUPOKE_PIL, PSM_INTR_POKE); in mach_smpinit()
264 if (rec->ttr_ipl == XC_CPUPOKE_PIL) in ttrace_interrupt()309 if (rec->ttr_ipl == XC_CPUPOKE_PIL) in ttrace_apix_interrupt()
249 } else if (irq_ipl(i) == XC_CPUPOKE_PIL) { in print_isr()