Comments
Patch
===================================================================
@@ -42,7 +42,7 @@
*/
void print_conf(void)
{
-#if CONFIG_DEFAULT_CONSOLE_LOGLEVEL >= BIOS_ERR
+#if CONFIG_DEFAULT_CONSOLE_LOGLEVEL >= BIOS_DEBUG
int i;
unsigned long iol;
msr_t msr;
@@ -183,7 +183,7 @@
iol = inl(GPIO_MAPPER_X);
printk(BIOS_DEBUG, "IOR 0x%08X is now 0x%08lX\n", GPIO_IO_BASE + GPIO_MAPPER_X,
iol);
-#endif /* CONFIG_DEFAULT_CONSOLE_LOGLEVEL >= BIOS_ERR */
+#endif /* CONFIG_DEFAULT_CONSOLE_LOGLEVEL >= BIOS_DEBUG */
}
/* todo: add a resource record. We don't do this here because this may be called when
===================================================================
@@ -118,7 +118,7 @@
*/
void print_conf(void)
{
-#if CONFIG_DEFAULT_CONSOLE_LOGLEVEL >= BIOS_ERR
+#if CONFIG_DEFAULT_CONSOLE_LOGLEVEL >= BIOS_DEBUG
int i;
unsigned long iol;
msr_t msr;
@@ -259,7 +259,7 @@
iol = inl(GPIO_MAPPER_X);
printk(BIOS_DEBUG, "IOR 0x%08X is now 0x%08lX\n", GPIO_IO_BASE + GPIO_MAPPER_X,
iol);
-#endif //CONFIG_DEFAULT_CONSOLE_LOGLEVEL >= BIOS_ERR
+#endif /* CONFIG_DEFAULT_CONSOLE_LOGLEVEL >= BIOS_DEBUG */
}
/* todo: add a resource record. We don't do this here because this may be called when