Rather than unconditionally using vCPU 0, use the current vCPU if the
subject domain is the current one.
Signed-off-by: Jan Beulich <jbeul...@suse.com>
--- a/xen/arch/x86/mm/paging.c
+++ b/xen/arch/x86/mm/paging.c
@@ -858,7 +858,7 @@ void pagetable_dying(struct domain *d, p
ASSERT(paging_mode_shadow(d));
- v = d->vcpu[0];
+ v = (d == current->domain) ? current : d->vcpu[0];
v->arch.paging.mode->shadow.pagetable_dying(v, gpa);
#else
BUG();
_______________________________________________
Xen-devel mailing list
Xen-devel@lists.xenproject.org
https://lists.xenproject.org/mailman/listinfo/xen-devel
