[XS] Change in coreboot[main]: device_util: GIC V3 Path update

[Naresh Solanki (Code Review)]

Naresh Solanki has uploaded this change for review. ( https://review.coreboot.org/c/coreboot/+/79972?usp=email )

Change subject: device_util: GIC V3 Path update
......................................................................

device_util: GIC V3 Path update

Change-Id: Ib4004c1f1b854a54dfdf9eaa7f25583dec947302
Signed-off-by: Naresh Solanki 
---
M src/device/device_util.c
1 file changed, 3 insertions(+), 0 deletions(-)

git pull ssh://review.coreboot.org:29418/coreboot refs/changes/72/79972/1

diff --git a/src/device/device_util.c b/src/device/device_util.c
index b37d1d9..d77bdfd 100644
--- a/src/device/device_util.c
+++ b/src/device/device_util.c
@@ -229,6 +229,9 @@
    	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);