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