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 49d442af1f0f5a0feb6519a9098b9554143f4be9..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)
@@ -234,7 +236,7 @@ static void debug_init(device_t dev)
 #endif
        if (!dev->enabled)
                return;
-       switch(dev->path.u.pnp.device) {
+       switch(dev->path.pnp.device) {
 #if CONFIG_CHIP_NAME
        case 0:
                parent = dev->bus->dev;