diff options
| -rw-r--r-- | src/device/device_util.c | 3 |
1 files changed, 3 insertions, 0 deletions
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); |