diff --git a/src/plugins/projectexplorer/devicesupport/devicemanager.cpp b/src/plugins/projectexplorer/devicesupport/devicemanager.cpp
index eab80d72c830013a899adcd5f89ac783134a433f..309dd21ba636d578e58da6ba9471a0bc7b14fd0a 100644
--- a/src/plugins/projectexplorer/devicesupport/devicemanager.cpp
+++ b/src/plugins/projectexplorer/devicesupport/devicemanager.cpp
@@ -405,6 +405,11 @@ IDevice::Id DeviceManager::internalId(const IDevice::ConstPtr &device) const
     return device ? device->internalId() : IDevice::invalidId();
 }
 
+int DeviceManager::indexOf(const IDevice *device) const
+{
+    return indexForInternalId(device->internalId());
+}
+
 void DeviceManager::ensureOneDefaultDevicePerType()
 {
     foreach (const IDevice::Ptr &device, d->devices) {
diff --git a/src/plugins/projectexplorer/devicesupport/devicemanager.h b/src/plugins/projectexplorer/devicesupport/devicemanager.h
index 56efc659a81e294b4caf325bbd4662137071b120..67d4eff139876526e5850b1cf56394ecff31e98c 100644
--- a/src/plugins/projectexplorer/devicesupport/devicemanager.h
+++ b/src/plugins/projectexplorer/devicesupport/devicemanager.h
@@ -64,6 +64,8 @@ public:
     bool hasDevice(const QString &name) const;
     IDevice::Id internalId(const IDevice::ConstPtr &device) const;
 
+    int indexOf(const IDevice *device) const;
+
     void addDevice(const IDevice::Ptr &device);
     void removeDevice(int index);