diff --git a/src/device/device_util.c b/src/device/device_util.c
index 0be6cfb..6919f4b 100644
--- a/src/device/device_util.c
+++ b/src/device/device_util.c
@@ -965,3 +965,18 @@
 {
 	return is_cpu(cpu) && cpu->enabled;
 }
+
+bool is_pci(const struct device *pci)
+{
+	return pci->path.type == DEVICE_PATH_PCI;
+}
+
+bool is_enabled_pci(const struct device *pci)
+{
+	return is_pci(pci) && pci->enabled;
+}
+
+bool is_pci_dev_on_bus(const struct device *pci, unsigned int bus)
+{
+	return is_pci(pci) && pci->bus->secondary == bus;
+}