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