};
-static void model_f0x_init(device_t dev)
+static void model_6xx_init(device_t dev)
{
/* Turn on caching if we haven't already */
x86_enable_cache();
};
static struct device_operations cpu_dev_ops = {
- .init = model_f0x_init,
+ .init = model_6xx_init,
};
static struct cpu_device_id cpu_table[] = {
{ X86_VENDOR_INTEL, 0x0672 },