On Tue, Jan 17, 2017 at 5:27 PM, Dario Faggioli
wrote:
> In fact, when domains are being unpaused:
> - it's not necessary to put the vcpu to sleep, as
>they are all already paused;
> - it is not necessary to call vcpu_migrate(), as
>the vcpus are still paused,
In fact, when domains are being unpaused:
- it's not necessary to put the vcpu to sleep, as
they are all already paused;
- it is not necessary to call vcpu_migrate(), as
the vcpus are still paused, and therefore won't
wakeup anyway.
Basically, the only important thing is to call