erebion/coreboot
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

device/device_util: Fix format specifier for DEVICE_PATH_GICC_V3

Browse source 
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 <matt.devillier@gmail.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/88769
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
Reviewed-by: Elyes Haouas <ehaouas@noos.fr>
This commit is contained in:
Matt DeVillier 2025-08-13 12:34:29 -05:00
commit 6e9c0a26e3
1 changed files with 1 additions and 1 deletions
Download patch file Download diff file Expand all files Collapse all files

2
src/device/device_util.c
View file

@ -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",