x86, 64-bit: print DMI info in the oops trace
authorKyle McMartin <kyle@infradead.org>
Wed, 4 Feb 2009 20:54:45 +0000 (15:54 -0500)
committerIngo Molnar <mingo@elte.hu>
Wed, 4 Feb 2009 21:10:12 +0000 (22:10 +0100)
This patch echoes what we already do on 32-bit since
90f7d25c6b672137344f447a30a9159945ffea72, and prints the DMI
product name in show_regs, so that system specific problems can be
easily identified.

Signed-off-by: Kyle McMartin <kyle@redhat.com>
Signed-off-by: Ingo Molnar <mingo@elte.hu>

No differences found