Commit a1884b8e authored by Andy Isaacson's avatar Andy Isaacson Committed by Ingo Molnar
Browse files

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: default avatarAndy Isaacson <>
Cc: Arjan van de Ven <>
Cc: Robert Hancock <>
Cc: Richard Zidlicky <>
Cc: Andrew Morton <>
LKML-Reference: <>
Signed-off-by: default avatarIngo Molnar <>
parent 814e2c84
......@@ -94,18 +94,21 @@ void exit_thread(void)
void show_regs_common(void)
const char *board;
const char *board, *product;
board = dmi_get_system_info(DMI_PRODUCT_NAME);
board = dmi_get_system_info(DMI_BOARD_NAME);
if (!board)
board = "";
product = dmi_get_system_info(DMI_PRODUCT_NAME);
if (!product)
product = "";
printk(KERN_INFO "Pid: %d, comm: %.20s %s %s %.*s %s\n",
printk(KERN_INFO "Pid: %d, comm: %.20s %s %s %.*s %s/%s\n",
current->pid, current->comm, print_tainted(),
(int)strcspn(init_utsname()->version, " "),
init_utsname()->version, board);
init_utsname()->version, board, product);
void flush_thread(void)
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment