Paolo Bonzini writes:
> Right now you only get to apic_init_reset if you have an APIC
> (do_cpu_init is reached only if CPU_INTERRUPT_INIT is set and
> that only happens in hw/intc/apic.c). However, this is wrong
> because for example a port 92 or keyboard controller reset is
> really an INIT, a
Right now you only get to apic_init_reset if you have an APIC
(do_cpu_init is reached only if CPU_INTERRUPT_INIT is set and
that only happens in hw/intc/apic.c). However, this is wrong
because for example a port 92 or keyboard controller reset is
really an INIT, and that can happen also with no AP