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> |
||
|---|---|---|
| .. | ||
| dram | ||
| oprom | ||
| azalia_device.c | ||
| cardbus_device.c | ||
| cpu_device.c | ||
| device.c | ||
| device_const.c | ||
| device_util.c | ||
| gpio.c | ||
| i2c.c | ||
| i2c_bus.c | ||
| Kconfig | ||
| Makefile.mk | ||
| mdio.c | ||
| mmio.c | ||
| pci_class.c | ||
| pci_device.c | ||
| pci_early.c | ||
| pci_ops.c | ||
| pci_rom.c | ||
| pciexp_device.c | ||
| pcix_device.c | ||
| pnp_device.c | ||
| resource_allocator_common.c | ||
| resource_allocator_v4.c | ||
| root_device.c | ||
| smbus_ops.c | ||
| software_i2c.c | ||
| xhci.c | ||
| xhci_resource.c | ||