diff --git a/src/device/device_util.c b/src/device/device_util.c
index ac18538a1b..837dfb593f 100644
--- a/src/device/device_util.c
+++ b/src/device/device_util.c
@@ -921,3 +921,15 @@ int dev_count_cpu(void)
 
 	return count;
 }
+
+/* Get device path name */
+const char *dev_path_name(enum device_path_type type)
+{
+	static const char *const type_names[] = DEVICE_PATH_NAMES;
+	const char *type_name = "Unknown";
+
+	/* Translate the type value into a string */
+	if (type < ARRAY_SIZE(type_names))
+		type_name = type_names[type];
+	return type_name;
+}
diff --git a/src/include/device/path.h b/src/include/device/path.h
index 00fb727009..ba7661d6c4 100644
--- a/src/include/device/path.h
+++ b/src/include/device/path.h
@@ -13,8 +13,27 @@ enum device_path_type {
 	DEVICE_PATH_CPU,
 	DEVICE_PATH_CPU_BUS,
 	DEVICE_PATH_IOAPIC,
+
+	/*
+	 * When adding path types to this table, please also update the
+	 * DEVICE_PATH_NAMES macro below.
+	 */
 };
 
+#define DEVICE_PATH_NAMES {			\
+		"DEVICE_PATH_NONE",		\
+		"DEVICE_PATH_ROOT",		\
+		"DEVICE_PATH_PCI",		\
+		"DEVICE_PATH_PNP",		\
+		"DEVICE_PATH_I2C",		\
+		"DEVICE_PATH_APIC",		\
+		"DEVICE_PATH_DOMAIN",		\
+		"DEVICE_PATH_CPU_CLUSTER",	\
+		"DEVICE_PATH_CPU",		\
+		"DEVICE_PATH_CPU_BUS",		\
+		"DEVICE_PATH_IOAPIC"		\
+}
+
 struct domain_path
 {
 	unsigned domain;
@@ -86,5 +105,6 @@ struct device_path {
 #define BUS_PATH_MAX (DEVICE_PATH_MAX+10)
 
 extern int path_eq(struct device_path *path1, struct device_path *path2);
+extern const char *dev_path_name(enum device_path_type type);
 
 #endif /* DEVICE_PATH_H */