diff --git a/src/intel/dev/intel_device_info.c b/src/intel/dev/intel_device_info.c
index 5e6353bfed2..dc0f18fbc78 100644
--- a/src/intel/dev/intel_device_info.c
+++ b/src/intel/dev/intel_device_info.c
@@ -83,6 +83,12 @@ static const struct {
    { "nvl", 0xd750 },
 };
 
+const char *
+intel_platform_name_by_index(unsigned idx)
+{
+   return idx < ARRAY_SIZE(name_map) ? name_map[idx].name : NULL;
+}
+
 /**
  * Get the PCI ID for the device name.
  *
diff --git a/src/intel/dev/intel_device_info.h b/src/intel/dev/intel_device_info.h
index d94c6db3792..f254d5b0304 100644
--- a/src/intel/dev/intel_device_info.h
+++ b/src/intel/dev/intel_device_info.h
@@ -162,6 +162,7 @@ intel_device_info_dual_subslice_id_bound(const struct intel_device_info *devinfo
 }
 
 int intel_device_name_to_pci_device_id(const char *name);
+const char *intel_platform_name_by_index(unsigned idx);
 
 static inline uint64_t
 intel_device_info_timebase_scale(const struct intel_device_info *devinfo,