[coreboot] v3 help with PCI_DOMAIN resources
ron minnich
rminnich at gmail.com
Mon Oct 13 20:51:38 CEST 2008
Myles, use this patch. Then send me output.
ron
Index: lib/console.c
===================================================================
--- lib/console.c (revision 920)
+++ lib/console.c (working copy)
@@ -136,8 +136,14 @@
return 0;
}
+ console_tx_byte('<', (void *)0);
+ console_tx_byte(msg_level + '0', (void *)0);
+ console_tx_byte('>', (void *)0);
+
+ i = 3;
+
va_start(args, fmt);
- i = vtxprintf(console_tx_byte, (void *)0, fmt, args);
+ i += vtxprintf(console_tx_byte, (void *)0, fmt, args);
va_end(args);
return i;
More information about the coreboot
mailing list