Remove some duplicate #include files (trivial).

[coreboot.git] / src / cpu / intel / model_f4x / model_f4x_init.c

diff --git a/src/cpu/intel/model_f4x/model_f4x_init.c b/src/cpu/intel/model_f4x/model_f4x_init.c
index 649638670d84ff4c849563ad43690ec95184b94c..e2ab022ebde0999d5e4c708d496d579700e4e835 100644 (file)
--- a/src/cpu/intel/model_f4x/model_f4x_init.c
+++ b/src/cpu/intel/model_f4x/model_f4x_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>
@@ -10,14 +9,13 @@
 #include <cpu/intel/microcode.h>
 #include <cpu/intel/hyperthreading.h>
 #include <cpu/x86/cache.h>
-#include <cpu/x86/mtrr.h>
 
 static uint32_t microcode_updates[] = {
        /* WARNING - Intel has a new data structure that has variable length
         * microcode update lengths.  They are encoded in int 8 and 9.  A
         * dummy header of nulls must terminate the list.
         */
-       
+
 #include "microcode_MBDF410D.h"
        /*  Dummy terminator  */
         0x0, 0x0, 0x0, 0x0,
@@ -26,14 +24,13 @@ static uint32_t microcode_updates[] = {
         0x0, 0x0, 0x0, 0x0,
 };
 
-
 static void model_f4x_init(device_t cpu)
 {
        /* Turn on caching if we haven't already */
        x86_enable_cache();
        x86_setup_mtrrs(36);
        x86_mtrr_check();
-       
+
        /* Update the microcode */
        intel_update_microcode(microcode_updates);
 
@@ -47,12 +44,13 @@ static void model_f4x_init(device_t cpu)
 static struct device_operations cpu_dev_ops = {
        .init = model_f4x_init,
 };
+
 static struct cpu_device_id cpu_table[] = {
        { X86_VENDOR_INTEL, 0x0f41 }, /* Xeon */
        { 0, 0 },
 };
 
-static struct cpu_driver model_f4x __cpu_driver = {
+static const struct cpu_driver model_f4x __cpu_driver = {
        .ops      = &cpu_dev_ops,
        .id_table = cpu_table,
 };