Searched refs:PCIbios (Results 1 – 4 of 4) sorted by relevance
63 struct bios32_SDentry PCIbios; variable112 PCIbios.ident.id = 0x49435024; /* PCI systems should have this */ in bios32_init()113 if (!bios32_SDlookup(&PCIbios) && bootverbose) in bios32_init()114 printf("pcibios: PCI BIOS entry at 0x%x+0x%x\n", PCIbios.base, PCIbios.entry); in bios32_init()
110 if (PCIbios.ventry == 0) { in pcibios_get_version()115 if (bios32(&args, PCIbios.ventry, GSEL(GCODE_SEL, SEL_KPL))) { in pcibios_get_version()
481 return (bios32(&args, PCIbios.ventry, GSEL(GCODE_SEL, SEL_KPL))); in pci_pir_biosroute()
342 extern struct bios32_SDentry PCIbios;