Searched refs:intr_ipi_dev (Results 1 – 1 of 1) sorted by relevance
144 static device_t intr_ipi_dev; variable1834 if (intr_ipi_dev == NULL || priority > intr_ipi_dev_priority)1835 intr_ipi_dev = dev;1854 if (intr_ipi_dev == NULL)1858 device_printf(intr_ipi_dev, "using for IPIs\n");1863 error = PIC_IPI_SETUP(intr_ipi_dev, ipi, &isrc);1878 PIC_ENABLE_INTR(intr_ipi_dev, isrc);1906 PIC_IPI_SEND(intr_ipi_dev, ii->ii_isrc, cpus, ipi);