1 files changed, 14 insertions, 0 deletions
diff --git a/src/device/device_const.c b/src/device/device_const.c
index 2ce76c61e5..20afe7e445 100644
--- a/src/device/device_const.c
+++ b/src/device/device_const.c
@@ -7,6 +7,7 @@
 #include <device/pci.h>
 #include <device/pci_def.h>
 #include <device/resource.h>
+#include <fw_config.h>
 
 /** Linked list of ALL devices */
 DEVTREE_CONST struct device *DEVTREE_CONST all_devices = &dev_root;
@@ -383,3 +384,16 @@ DEVTREE_CONST struct device *dev_bus_each_child(const struct bus *parent,
 
 	return dev;
 }
+
+bool is_dev_enabled(const struct device *dev)
+{
+	if (!dev)
+		return false;
+
+	/* For stages with immutable device tree, first check if device is disabled because of
+	   fw_config probing. In these stages, dev->enabled does not reflect the true state of a
+	   device that uses fw_config probing. */
+	if (DEVTREE_EARLY && !fw_config_probe_dev(dev, NULL))
+		return false;
+	return dev->enabled;
+}