Remove some duplicate #include files (trivial).

[coreboot.git] / src / cpu / intel / model_f1x / model_f1x_init.c

diff --git a/src/cpu/intel/model_f1x/model_f1x_init.c b/src/cpu/intel/model_f1x/model_f1x_init.c
index f8dd1d85f7514b9512d65004be4c9a94a8573b2d..f70e96a035d76162967b9d2a5b0f836653dea61d 100644 (file)
--- a/src/cpu/intel/model_f1x/model_f1x_init.c
+++ b/src/cpu/intel/model_f1x/model_f1x_init.c
@@ -1,6 +1,5 @@
 #include <console/console.h>
 #include <device/device.h>
-#include <device/device.h>
 #include <device/pci.h>
 #include <string.h>
 #include <cpu/cpu.h>
@@ -9,7 +8,6 @@
 #include <cpu/x86/lapic.h>
 #include <cpu/intel/microcode.h>
 #include <cpu/x86/cache.h>
-#include <cpu/x86/mtrr.h>
 
 /* 256KB cache */
 static uint32_t microcode_updates[] = {
@@ -25,7 +23,6 @@ static uint32_t microcode_updates[] = {
         0x0, 0x0, 0x0, 0x0,
 };
 
-
 static void model_f1x_init(device_t dev)
 {
        /* Turn on caching if we haven't already */
@@ -43,6 +40,7 @@ static void model_f1x_init(device_t dev)
 static struct device_operations cpu_dev_ops = {
        .init     = model_f1x_init,
 };
+
 static struct cpu_device_id cpu_table[] = {
        { X86_VENDOR_INTEL, 0x0f12 },
        { 0, 0 },