>>> On 20.01.18 at 12:10, <dw...@infradead.org> wrote:
> On Fri, 2018-01-19 at 08:07 -0700, Jan Beulich wrote:
>> I understand that, but there was no explanation whatsoever as
>> to why that is.
> 
> Looks like we set per_cpu(curr_vcpu)=next every time we switch, even if
> we are switching to the idle domain.

I can't see that - the only place it is being updated is at the end of
__context_switch(), which isn't being called in the normal case
when context_switch() finds is_idle_domain(nextd).

Jan


_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel

Reply via email to