apic_write(APIC_LVTPC, per_cpu(saved_lvtpc, cpu));
apic_write(APIC_LVTERR, v);
nmi_cpu_restore_registers(msrs);
+ if (model->cpu_down)
+ model->cpu_down();
}
static void nmi_cpu_up(void *dummy)
{
if (using_nmi)
exit_sysfs();
- if (model->exit)
- model->exit();
}