From c7728521d6c13efbe4f4d5d99ad882b37333168c Mon Sep 17 00:00:00 2001 From: Jay Patel Date: Mon, 13 Mar 2023 08:36:28 -0700 Subject: arch/x86/ioapic: Print IOAPIC ID for GSI #0 MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit Print IOAPIC ID for GSI #0 in logs, as part of IOAPIC initialization. BUG=None TEST=Confirmed "IOAPIC: ID = 0x00" printed in logs. Signed-off-by: Jay Patel Change-Id: I8d8e94fe623795d059ec2abbb3319b60fd80f5ca Reviewed-on: https://review.coreboot.org/c/coreboot/+/73707 Tested-by: build bot (Jenkins) Reviewed-by: Paul Menzel Reviewed-by: Wonkyu Kim Reviewed-by: Bora Guvendik Reviewed-by: Kyösti Mälkki --- src/arch/x86/ioapic.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'src') diff --git a/src/arch/x86/ioapic.c b/src/arch/x86/ioapic.c index e30b6caa84..84a4c7f7bc 100644 --- a/src/arch/x86/ioapic.c +++ b/src/arch/x86/ioapic.c @@ -129,9 +129,9 @@ static void set_ioapic_id(void *ioapic_base, u8 ioapic_id) printk(BIOS_DEBUG, "IOAPIC: Initializing IOAPIC at %p\n", ioapic_base); + printk(BIOS_DEBUG, "IOAPIC: ID = 0x%02x\n", ioapic_id); if (ioapic_id) { - printk(BIOS_DEBUG, "IOAPIC: ID = 0x%02x\n", ioapic_id); /* Set IOAPIC ID if it has been specified. */ io_apic_write(ioapic_base, 0x00, (io_apic_read(ioapic_base, 0x00) & 0xf0ffffff) | -- cgit v1.2.3