1 /* SPDX-License-Identifier: GPL-2.0-only */ 2 3 #include <cpu/cpu.h> 4 #include <cpu/intel/common/common.h> 5 #include <cpu/intel/microcode.h> 6 #include <cpu/x86/cache.h> 7 #include <cpu/x86/mtrr.h> 8 #include <device/device.h> 9 model_f3x_init(struct device * cpu)10static void model_f3x_init(struct device *cpu) 11 { 12 /* Turn on caching if we haven't already */ 13 enable_cache(); 14 }; 15 16 static struct device_operations cpu_dev_ops = { 17 .init = model_f3x_init, 18 }; 19 20 static const struct cpu_device_id cpu_table[] = { 21 { X86_VENDOR_INTEL, 0x0f34, CPUID_EXACT_MATCH_MASK }, /* Xeon */ 22 CPU_TABLE_END 23 }; 24 25 static const struct cpu_driver model_f3x __cpu_driver = { 26 .ops = &cpu_dev_ops, 27 .id_table = cpu_table, 28 }; 29