inteltool: added more device IDs

[coreboot.git] / util / vgabios / int1a.c

diff --git a/util/vgabios/int1a.c b/util/vgabios/int1a.c
index 48aa13e9a1c7b2670b42b2c5d42e29b461fe144c..bd9a24c9f85674e366890627f9a5c96562866082 100644 (file)
--- a/util/vgabios/int1a.c
+++ b/util/vgabios/int1a.c
@@ -19,7 +19,7 @@ int int1A_handler()
 
        if (verbose) {
                printf("\nint1a encountered.\n");
-               x86emu_dump_xregs();
+               //x86emu_dump_xregs();
        }
 
        switch (X86_AX) {