Searched refs:pcibios_init (Results 1 - 1 of 1) sorted by relevance

/external/grub/netboot/
H A Dpci.c337 printf ("pcibios_init : PCI BIOS revision %hhX.%hhX"
345 static void pcibios_init(void) function
371 printf("pcibios_init : unsupported revision %d at %#X, mail drew@colorado.edu\n",
376 printf("pcibios_init : BIOS32 Service Directory "
381 printf("pcibios_init: entry in high "
387 printf("pcibios_init : BIOS32 Service Directory"
470 pcibios_init();

Completed in 15 milliseconds