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