Searched refs:IRQ_IPI (Results 1 – 3 of 3) sorted by relevance
38 #define IRQ_IPI 41 /* 8-39 are used by PIC interrupts */ macro
656 xlp_enable_irq(IRQ_IPI); in platform_init_ap()667 return (IRQ_IPI); in platform_ipi_hardintr_num()
265 case IRQ_IPI: in cpu_intr()