47 #include <machine/pc/bios.h>
122  * We use PCI BIOS's PIR table if it's available. $PIR is the standard way
258  * have an interrupt routed to intpin 'pin' by the BIOS.
319 	/* Don't trust any BIOS IRQs greater than 15. */  in pci_pir_initial_irqs()
322 	"$PIR: Ignoring invalid BIOS IRQ %d from %d.%d.INT%c for link %#x\n",  in pci_pir_initial_irqs()
330 	 * BIOS, even if it seems invalid from the $PIR entries.  in pci_pir_initial_irqs()
335 	"$PIR: Using invalid BIOS IRQ %d from %d.%d.INT%c for link %#x\n",  in pci_pir_initial_irqs()
349 	 * we are having to guess which setting the BIOS actually routed.  in pci_pir_initial_irqs()
354 		"$PIR: BIOS IRQ %d for %d.%d.INT%c is not valid for link %#x\n",  in pci_pir_initial_irqs()
359 "$PIR: Preferring valid BIOS IRQ %d from %d.%d.INT%c for link %#x to IRQ %d\n",   in pci_pir_initial_irqs()
366 	"$PIR: BIOS IRQ %d for %d.%d.INT%c does not match link %#x irq %d\n",  in pci_pir_initial_irqs()
398 	 * Check to see if the BIOS has already routed any of the links by  in pci_pir_parse()
437 	 * IRQs that the BIOS has already used for PCI link devices.  in pci_pir_parse()
447 		printf("$PIR: IRQs used by BIOS: ");  in pci_pir_parse()
461  * Use the PCI BIOS to route an interrupt for a given device.
512 	 * we check the set of known-good interrupts that the BIOS has  in pci_pir_route_interrupt()
537 	/* Ask the BIOS to route this IRQ if we haven't done so already. */  in pci_pir_route_interrupt()
632  * even bother looking if the BIOS doesn't support routing anyways.  If we
692 	/* Ask the BIOS to re-route each link that was already routed. */  in pir_resume()