Searched refs:BIOS_IRQ_ROUTING_DATA (Results 1 – 2 of 2) sorted by relevance
85 bufp = (uchar_t *)BIOS_IRQ_ROUTING_DATA; in pci_bios_get_irq_routing()
144 #define BIOS_IRQ_ROUTING_DATA 0x7010 macro