Lines Matching refs:bios32
9 ** /usr/src/linux/arch/i386/bios32.c
10 ** /usr/src/linux/include/linux/bios32.h
331 printf("ERROR: BIOS32 says PCI BIOS, but no PCI "
347 union bios32 *check;
353 * Follow the standard procedure for locating the BIOS32 Service
355 * 0xe0000 through 0xfffff for a valid BIOS32 structure.
359 for (check = (union bios32 *) 0xe0000; check <= (union bios32 *) 0xffff0; ++check) {
376 printf("pcibios_init : BIOS32 Service Directory "
387 printf("pcibios_init : BIOS32 Service Directory"
472 printf("pci_init: no BIOS32 detected\n");
