This, ladies and gentlement, is commit #4000.

[coreboot.git] / src / drivers / generic / debug / debug_dev.c

diff --git a/src/drivers/generic/debug/debug_dev.c b/src/drivers/generic/debug/debug_dev.c
index 7f17c9598c45bcbd6e511530336eff3406c76228..210600c59fac6069748daeccf01014f57a883579 100644 (file)
--- a/src/drivers/generic/debug/debug_dev.c
+++ b/src/drivers/generic/debug/debug_dev.c
@@ -5,6 +5,8 @@
 #include <device/pci_ids.h>
 #include <device/pci_ops.h>
 #include <cpu/x86/msr.h>
+#include <part/hard_reset.h>
+#include <delay.h>
 #include "chip.h"
 
 static void print_pci_regs(struct device *dev)