On 6 March 2013 03:00, Paolo Bonzini <pbonz...@redhat.com> wrote: > On the x86, some devices need access to the CPU reset pin (INIT#). > Provide a generic service to do this, using one of the internal > cpu_interrupt targets. Generalize the PPC-specific code for > CPU_INTERRUPT_RESET to other targets, and provide a function that > will raise the interrupt on all CPUs.
Not sure this makes sense -- reset isn't an interrupt... -- PMM