device_util: Add support for GICv3 path in device path handling

Change-Id: Ib4004c1f1b854a54dfdf9eaa7f25583dec947302
Signed-off-by: Naresh Solanki <naresh.solanki@9elements.com>
Reviewed-on: https://review.coreboot.org/c/coreboot/+/79972
Reviewed-by: Angel Pons <th3fanbus@gmail.com>
Tested-by: build bot (Jenkins) <no-reply@coreboot.org>
This commit is contained in:
Naresh Solanki 2023-12-18 23:48:03 +05:30 committed by Felix Held
commit 460e2173eb

View file

@ -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);