Searched refs:ipi_irq (Results 1 – 3 of 3) sorted by relevance
346 int ipi_irq; in release_aps() local358 ipi_irq = platform_ipi_hardintr_num(); in release_aps()359 if (ipi_irq != -1) { in release_aps()361 ipi_irq, INTR_TYPE_MISC | INTR_EXCL, NULL); in release_aps()363 ipi_irq = platform_ipi_softintr_num(); in release_aps()365 ipi_irq, INTR_TYPE_MISC | INTR_EXCL, NULL); in release_aps()
83 void beripic_setup_ipi(device_t dev, u_int tid, u_int ipi_irq);
304 beripic_setup_ipi(device_t dev, u_int tid, u_int ipi_irq) in beripic_setup_ipi() argument312 reg |= (ipi_irq << BP_CFG_IRQ_S); in beripic_setup_ipi()