1 #include <console/console.h>
2 #include <device/device.h>
3 #include <device/pci.h>
6 #include <cpu/x86/lapic.h>
7 #include <cpu/x86/cache.h>
9 static void vsm_end_post_smi(void)
19 static void model_lx_init(device_t dev)
21 printk_debug("model_lx_init\n");
23 /* Turn on caching if we haven't already */
27 /* Enable the local cpu apics */
32 printk_debug("model_lx_init DONE\n");
35 static struct device_operations cpu_dev_ops = {
36 .init = model_lx_init,
39 static struct cpu_device_id cpu_table[] = {
40 { X86_VENDOR_AMD, 0x05A2 },
44 static struct cpu_driver driver __cpu_driver = {
46 .id_table = cpu_table,