src/cpu/intel/model_f4x/model_f4x_init.c

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