| commit | bd89bb29a01503c5cffa367eccb0b356f910cb8d | [log] [tgz] |
|---|---|---|
| author | Arjan van de Ven <arjan@linux.intel.com> | Fri Nov 28 08:36:09 2008 -0800 |
| committer | Ingo Molnar <mingo@elte.hu> | Fri Nov 28 17:52:50 2008 +0100 |
| tree | 2066bb0cff4321261cedcddc00e8613eb9e1b538 | |
| parent | 74853dba2f7a1a9b0905a09abcf65c1f3ce0b14f [diff] |
debug warnings: print the DMI board info name in a WARN/WARN_ON Impact: extend WARN_ON() output with DMI_PRODUCT_NAME It's very useful for many low level WARN_ON's to find out which motherboard has the broken BIOS etc... this patch adds a printk to the WARN_ON code for this. On architectures without DMI, gcc should optimize the code out. Signed-off-by: Arjan van de Ven <arjan@linux.intel.com> Signed-off-by: Ingo Molnar <mingo@elte.hu>