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>
This commit is contained in:
Alexander Couzens 2024-09-02 17:33:55 +02:00 committed by Felix Singer
commit 37c85f0cf5

View file

@ -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;
}