[XS] Change in coreboot[main]: device_util: Add support for GICv3 path in device path handling

[Felix Held (Code Review)]

Felix Held has submitted this change. ( https://review.coreboot.org/c/coreboot/+/79972?usp=email )

Change subject: device_util: Add support for GICv3 path in device path handling
......................................................................

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) 
---
M src/device/device_util.c
1 file changed, 3 insertions(+), 0 deletions(-)

Approvals:
  build bot (Jenkins): Verified
  Angel Pons: Looks good to me, approved

diff --git a/src/device/device_util.c b/src/device/device_util.c
index 3514de7..f33c925 100644
--- a/src/device/device_util.c
+++ b/src/device/device_util.c
@@ -230,6 +230,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);