Searched refs:PCIbios (Results 1 – 4 of 4) sorted by relevance
61 struct bios32_SDentry PCIbios; variable110 PCIbios.ident.id = 0x49435024; /* PCI systems should have this */ in bios32_init()111 if (!bios32_SDlookup(&PCIbios) && bootverbose) in bios32_init()112 printf("pcibios: PCI BIOS entry at 0x%x+0x%x\n", PCIbios.base, PCIbios.entry); in bios32_init()
308 extern struct bios32_SDentry PCIbios;
119 if (PCIbios.ventry == 0) { in pcibios_get_version()124 if (bios32(&args, PCIbios.ventry, GSEL(GCODE_SEL, SEL_KPL))) { in pcibios_get_version()
479 return (bios32(&args, PCIbios.ventry, GSEL(GCODE_SEL, SEL_KPL))); in pci_pir_biosroute()