intr_irq_root_device
rootdev = intr_irq_root_device(INTR_ROOT_IRQ);
device_t intr_irq_root_device(uint32_t);