>> >> .. or it enters WFI, and a physical device sends it an interrupt, >> at which point it exits. > > None of the cpus will return to the idle loop until all cpus have > decremented the ready counter back to 0, so they can't wrap around > again. yikes, so you IPI all the cpus on the first exit. that must burn power ;-(