Searched refs:intr_irq_root_dev (Results 1 – 5 of 5) sorted by relevance
118 extern device_t intr_irq_root_dev;
158 iparent = OF_xref_from_node(ofw_bus_get_node(intr_irq_root_dev)); in sbi_ipi_attach()
211 iparent = OF_xref_from_node(ofw_bus_get_node(intr_irq_root_dev)); in riscv_timer_attach()
410 iparent = OF_xref_from_node(ofw_bus_get_node(intr_irq_root_dev)); in aplic_setup_direct_mode()
106 device_t intr_irq_root_dev; variable904 if (intr_irq_root_dev != NULL) {909 intr_irq_root_dev = dev;1559 KASSERT(intr_irq_root_dev != NULL, ("%s: no root attached", __func__));1562 PIC_INIT_SECONDARY(intr_irq_root_dev);