works for PCI vga cards too

[coreboot.git] / src / devices / emulator / pcbios / pcibios.c

diff --git a/src/devices/emulator/pcbios/pcibios.c b/src/devices/emulator/pcbios/pcibios.c
index 74d25dc627d9224310ccbaf37adc85e393c6a01e..1517d2a7fb73431c6bf24cef3b3d1a98e4e4e657 100644 (file)
--- a/src/devices/emulator/pcbios/pcibios.c
+++ b/src/devices/emulator/pcbios/pcibios.c
@@ -12,8 +12,6 @@ int pcibios_handler()
        int i, ret = 0;
        struct device *dev = 0;
 
-       printk_debug("%s AX = %x\n", __func__, X86_AX);
-
        switch (X86_AX) {
        case PCI_BIOS_PRESENT:
                X86_AH  = 0x00;         /* no config space/special cycle support */