256 		 * An IRQ of zero means that the link isn't routed.  in link_add_crs()
353 		 * routed via an ISA interrupt.  in link_add_prs()
407 	 * For links routed via an ISA interrupt, if the SCI is routed via  in link_valid_irq()
547 	 * zero and flags to indicate this link is not routed.  If we can't  in acpi_pci_link_attach()
549 	 * IRQ was routed by the BIOS.  in acpi_pci_link_attach()
674 	 * (8259As).  Thus, if this link is routed via an ISA IRQ, go  in acpi_pci_link_add_reference()
675 	 * look to see if the BIOS routed an IRQ for this link at the  in acpi_pci_link_add_reference()
683 	 * If this link is not routed via an ISA IRQ (because we are using  in acpi_pci_link_add_reference()
890 	 * routed for the first time.  in acpi_pci_link_route_irqs()
933 	int i, routed;  in acpi_pci_link_resume()  local
936 	 * If all of our links are routed, then restore the link via _SRS,  in acpi_pci_link_resume()
941 	routed = 0;  in acpi_pci_link_resume()
944 			routed++;  in acpi_pci_link_resume()
945 	if (routed == sc->pl_num_links)  in acpi_pci_link_resume()
968 	KASSERT(!link->l_routed, ("%s: link already routed", __func__));  in acpi_pci_link_choose_irq()
997 	 * says it routed over what _CRS says the link thinks is routed.  in acpi_pci_link_choose_irq()
1064 	 * If this link device is already routed to an interrupt, just return  in acpi_pci_link_route_interrupt()
1065 	 * the interrupt it is routed to.  in acpi_pci_link_route_interrupt()
1069 		    ("%s: link is routed but has an invalid IRQ", __func__));  in acpi_pci_link_route_interrupt()
1080 		 * assume the interrupt is not routed.  in acpi_pci_link_route_interrupt()
1108 	 * interrupts routed via ISA IRQs, so this is probably ok.  in acpi_pci_link_identify()