patch-pre2.0.14-final2.0 linux/arch/i386/kernel/bios32.c

• Lines: 15
• Date: Sat Jun 8 11:10:49 1996
• Orig file: pre2.0.14/linux/arch/i386/kernel/bios32.c
• Orig date: Tue Nov 14 07:35:31 1995

diff -u --recursive --new-file pre2.0.14/linux/arch/i386/kernel/bios32.c linux/arch/i386/kernel/bios32.c
@@ -441,14 +441,6 @@
 				bios32_indirect.address = bios32_entry = check->fields.entry;
 				printk ("pcibios_init : BIOS32 Service Directory entry at 0x%lx\n", bios32_entry);
 			}
-		} else {
-			printk ("pcibios_init : multiple entries, mail drew@colorado.edu\n");
-			/*
-			 * Jeremy Fitzhardinge reports at least one PCI BIOS
-			 * with two different service directories, and as both
-			 * worked for him, we'll just mention the fact, and
-			 * not actually disallow it..
-			 */
 		}
 	}
 #ifdef CONFIG_PCI