diff options
| -rw-r--r-- | src/cpu/intel/model_f2x/model_f2x_init.c | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/src/cpu/intel/model_f2x/model_f2x_init.c b/src/cpu/intel/model_f2x/model_f2x_init.c index 9c7af78969..a77fe1ccd1 100644 --- a/src/cpu/intel/model_f2x/model_f2x_init.c +++ b/src/cpu/intel/model_f2x/model_f2x_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> @@ -30,7 +29,6 @@ static uint32_t microcode_updates[] = { 0x0, 0x0, 0x0, 0x0, }; - static void model_f2x_init(device_t cpu) { /* Turn on caching if we haven't already */ |