diff options
| -rw-r--r-- | hw/apic.c | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/hw/apic.c b/hw/apic.c index 74e3a71615..0f661b61fe 100644 --- a/hw/apic.c +++ b/hw/apic.c @@ -458,6 +458,11 @@ static void apic_init_ipi(APICState *s) s->initial_count = 0; s->initial_count_load_time = 0; s->next_time = 0; + + cpu_reset(s->cpu_env); + + if (!(s->apicbase & MSR_IA32_APICBASE_BSP)) + s->cpu_env->halted = 1; } /* send a SIPI message to the CPU to start it */ |