x86: Print DMI_BOARD_NAME as well as DMI_PRODUCT_NAME from __show_regs()
authorAndy Isaacson <adi@hexapodia.org>
Tue, 8 Dec 2009 08:30:21 +0000 (00:30 -0800)
committerIngo Molnar <mingo@elte.hu>
Wed, 9 Dec 2009 09:17:59 +0000 (10:17 +0100)
commita1884b8e558ef6395f6033f9e1b69b332dd040e0
tree573cc9ba77c70d84025e39ba80dd7f28e2065fe5
parent814e2c84a722c45650a9b8f52285d7ba6874f63b
x86: Print DMI_BOARD_NAME as well as DMI_PRODUCT_NAME from __show_regs()

Robert Hancock observes that DMI_BOARD_NAME is often more useful
than DMI_PRODUCT_NAME, especially on standalone motherboards.
So, print both.

Signed-off-by: Andy Isaacson <adi@hexapodia.org>
Cc: Arjan van de Ven <arjan@linux.intel.com>
Cc: Robert Hancock <hancockrwd@gmail.com>
Cc: Richard Zidlicky <rz@linux-m68k.org>
Cc: Andrew Morton <akpm@linux-foundation.org>
LKML-Reference: <20091208083021.GB27174@hexapodia.org>
Signed-off-by: Ingo Molnar <mingo@elte.hu>
arch/x86/kernel/process.c