1 files changed, 6 insertions, 0 deletions
diff --git a/src/device/pci_ops.c b/src/device/pci_ops.c
index 96133155be..6f42978e82 100644
--- a/src/device/pci_ops.c
+++ b/src/device/pci_ops.c
@@ -14,6 +14,7 @@
 #define __SIMPLE_DEVICE__
 
 #include <stdint.h>
+#include <console/console.h>
 #include <device/pci.h>
 #include <device/pci_def.h>
 #include <device/pci_ops.h>
@@ -85,3 +86,8 @@ u16 pci_s_find_capability(pci_devfn_t dev, u16 cap)
 {
 	return pci_s_find_next_capability(dev, cap, 0);
 }
+
+void __noreturn pcidev_die(void)
+{
+	die("PCI: dev is NULL!\n");
+}