On 3 July 2012 14:24, Avi Kivity <avi at redhat.com> wrote: > On 07/03/2012 04:14 PM, Peter Maydell wrote: >> You could just always wake the cpu when migrating: the >> architecture allows WFI to return early for any reason >> it likes including implementation convenience. > > Seems reasonable. > > I imagine wfi works with interrupts disabled, unlike the x86 silliness? Not sure exactly which bit of x86 silliness you're referring to, but WFI will wake up regardless of the interrupt mask bits in the CPSR. (If you've disabled interrupts in the GIC that's your own bad lookout I guess.) -- PMM
