331 intr_irq_handler(struct trapframe *tf, uint32_t rootnum)  in intr_irq_handler()  argument
337 	KASSERT(rootnum < INTR_ROOT_COUNT,  in intr_irq_handler()
338 	    ("%s: invalid interrupt root %d", __func__, rootnum));  in intr_irq_handler()
340 	root = &intr_irq_roots[rootnum];  in intr_irq_handler()
489 intr_irq_root_device(uint32_t rootnum)  in intr_irq_root_device()  argument
491 	KASSERT(rootnum < INTR_ROOT_COUNT,  in intr_irq_root_device()
492 	    ("%s: invalid interrupt root %d", __func__, rootnum));  in intr_irq_root_device()
493 	return (intr_irq_roots[rootnum].dev);  in intr_irq_root_device()
894     void *arg, uint32_t rootnum)  argument
919 	KASSERT(rootnum < INTR_ROOT_COUNT,
920 	    ("%s: invalid interrupt root %d", __func__, rootnum));
921 	root = &intr_irq_roots[rootnum];
1574 	uint32_t rootnum;  local
1580 	for (rootnum = 0; rootnum < INTR_ROOT_COUNT; rootnum++) {
1581 		dev = intr_irq_roots[rootnum].dev;
1583 			PIC_INIT_SECONDARY(dev, rootnum);