Searched refs:BIOS_IRQ_ROUTING_HDR (Results 1 – 2 of 2) sorted by relevance
84 hdrp = (uchar_t *)BIOS_IRQ_ROUTING_HDR; in pci_bios_get_irq_routing()
143 #define BIOS_IRQ_ROUTING_HDR 0x7000 macro