Symbol: intr_irq_root_device
sys/riscv/riscv/aplic.c
413
rootdev = intr_irq_root_device(INTR_ROOT_IRQ);
sys/riscv/riscv/sbi_ipi.c
159
rootdev = intr_irq_root_device(INTR_ROOT_IRQ);
sys/riscv/riscv/timer.c
215
rootdev = intr_irq_root_device(INTR_ROOT_IRQ);
sys/sys/intr.h
121
device_t intr_irq_root_device(uint32_t);