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_gx2_init(device_t dev)
21 printk(BIOS_DEBUG, "model_gx2_init\n");
23 /* Turn on caching if we haven't already */
26 /* Enable the local cpu apics */
31 printk(BIOS_DEBUG, "model_gx2_init DONE\n");
34 static struct device_operations cpu_dev_ops = {
35 .init = model_gx2_init,
38 static struct cpu_device_id cpu_table[] = {
39 { X86_VENDOR_NSC, 0x0552 },
43 static const struct cpu_driver driver __cpu_driver = {
45 .id_table = cpu_table,