From 460e2173ebd0fac8c5aa58bcdee6ff092909ada4 Mon Sep 17 00:00:00 2001 From: Naresh Solanki Date: Mon, 18 Dec 2023 23:48:03 +0530 Subject: device_util: Add support for GICv3 path in device path handling Change-Id: Ib4004c1f1b854a54dfdf9eaa7f25583dec947302 Signed-off-by: Naresh Solanki Reviewed-on: https://review.coreboot.org/c/coreboot/+/79972 Reviewed-by: Angel Pons Tested-by: build bot (Jenkins) --- src/device/device_util.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/src/device/device_util.c b/src/device/device_util.c index 3514de7cd5..f33c9250dc 100644 --- a/src/device/device_util.c +++ b/src/device/device_util.c @@ -230,6 +230,9 @@ const char *dev_path(const struct device *dev) case DEVICE_PATH_MDIO: 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); + break; default: printk(BIOS_ERR, "Unknown device path type: %d\n", dev->path.type); -- cgit v1.2.3