From 37c85f0cf54c992d283b5f306ce43b9522c515f2 Mon Sep 17 00:00:00 2001
From: Alexander Couzens <lynxis@fe80.eu>
Date: Mon, 2 Sep 2024 17:33:55 +0200
Subject: [PATCH] util/inteltool: Fix format for PCI vendor/device IDs

PCI vendor/device IDs are 16 bit.

Signed-off-by: Alexander Couzens <lynxis@fe80.eu>
Change-Id: I87804a63f04b7461d348a245531542776575eb7a
Reviewed-on: https://review.coreboot.org/c/coreboot/+/84186
Reviewed-by: Matt DeVillier <matt.devillier@amd.corp-partner.google.com>
Reviewed-by: Felix Singer <service+coreboot-gerrit@felixsinger.de>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
---
 util/inteltool/memory.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/util/inteltool/memory.c b/util/inteltool/memory.c
index 3e7d3d70b6..ae25494b13 100644
--- a/util/inteltool/memory.c
+++ b/util/inteltool/memory.c
@@ -242,7 +242,7 @@ int print_mchbar(struct pci_dev *nb, struct pci_access *pacc, const char *dump_s
 		break;
 	default:
 		printf("Error: Dumping MCHBAR on this northbridge is not (yet) supported.\n");
-		printf("Error: Unknown PCI id: %08x/%08x\n", nb->vendor_id, nb->device_id);
+		printf("Error: Unknown PCI id: %04x/%04x\n", nb->vendor_id, nb->device_id);
 		return 1;
 	}