From 6e9c0a26e397b434bd4e2e31eb0486b3928d491d Mon Sep 17 00:00:00 2001 From: Matt DeVillier Date: Wed, 13 Aug 2025 12:34:29 -0500 Subject: [PATCH] device/device_util: Fix format specifier for DEVICE_PATH_GICC_V3 dev->path.gicc_v3.mpidr is an unsigned long long, so the format specifier should be %llx, not %x. Keep the minimum 2 digit output. BUG=CID 1611971 Change-Id: I126b0281efcba2c3e41cf6da4d006b8d2eb7215b Signed-off-by: Matt DeVillier Reviewed-on: https://review.coreboot.org/c/coreboot/+/88769 Tested-by: build bot (Jenkins) Reviewed-by: Elyes Haouas --- src/device/device_util.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/device/device_util.c b/src/device/device_util.c index 864e64c4bb..12fcd18652 100644 --- a/src/device/device_util.c +++ b/src/device/device_util.c @@ -232,7 +232,7 @@ const char *dev_path(const struct device *dev) snprintf(buffer, sizeof(buffer), "MDIO: %02x", dev->path.mdio.addr); break; case DEVICE_PATH_GICC_V3: - snprintf(buffer, sizeof(buffer), "GICV3: %02x", dev->path.gicc_v3.mpidr); + snprintf(buffer, sizeof(buffer), "GICV3: %02llx", dev->path.gicc_v3.mpidr); break; default: printk(BIOS_ERR, "Unknown device path type: %d\n",