diff options
Diffstat (limited to 'src/cpu/intel/model_f4x')
| -rw-r--r-- | src/cpu/intel/model_f4x/model_f4x_init.c | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/cpu/intel/model_f4x/model_f4x_init.c b/src/cpu/intel/model_f4x/model_f4x_init.c index d6acddee09..e2ab022ebd 100644 --- 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,7 +9,6 @@ #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 @@ -26,7 +24,6 @@ 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 */ @@ -47,6 +44,7 @@ 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 }, |