From 542e9628aed98aa08674b47a69647c402fa0833e Mon Sep 17 00:00:00 2001 From: Stefan Reinauer Date: Mon, 18 Jun 2012 11:26:25 -0700 Subject: Print PCI ID of PCH during boot up Right now, if we have an unknown PCH, coreboot will print something like this: PCH type: Unknown rev id 4 Instead, it should also print the PCI ID of the device, so we can add it to the list of known PCHes. Change-Id: Ib0b96e287c36d2895d1287b1734ca13d75e7985a Signed-off-by: Stefan Reinauer Reviewed-on: http://review.coreboot.org/1287 Tested-by: build bot (Jenkins) Reviewed-by: Patrick Georgi --- src/northbridge/intel/sandybridge/report_platform.c | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/northbridge/intel') diff --git a/src/northbridge/intel/sandybridge/report_platform.c b/src/northbridge/intel/sandybridge/report_platform.c index a59e839b7a..bc88a8970f 100644 --- a/src/northbridge/intel/sandybridge/report_platform.c +++ b/src/northbridge/intel/sandybridge/report_platform.c @@ -96,8 +96,8 @@ static void report_pch_info(void) break; } } - printk (BIOS_DEBUG, "PCH type: %s rev id %x\n", - pch_type, pci_read_config8(PCH_LPC_DEV, 8)); + printk (BIOS_DEBUG, "PCH type: %s, device id: %x, rev id %x\n", + pch_type, dev_id, pci_read_config8(PCH_LPC_DEV, 8)); } void report_platform_info(void) -- cgit v1.2.3