Searched refs:intr_ipi_pic_register (Results 1 – 8 of 8) sorted by relevance
159 int intr_ipi_pic_register(device_t dev, u_int priority);
183 error = intr_ipi_pic_register(dev, 0); in sbi_ipi_attach()
237 if (intr_ipi_pic_register(dev, 0) != 0) { in gic_acpi_attach()
163 if (intr_ipi_pic_register(dev, 0) != 0) { in gic_fdt_attach()
170 err = intr_ipi_pic_register(dev, 0); in gic_v3_fdt_attach()
355 err = intr_ipi_pic_register(dev, 0); in gic_v3_acpi_attach()
654 error = intr_ipi_pic_register(sc->bls_dev, 0); in bcm_lintc_pic_attach()
1827 intr_ipi_pic_register(device_t dev, u_int priority) function