Hi all, This patch series is fixing a potential bug when multiple vCPU of a guest is running on the same pCPU. See patch #3 for all the details.
Regards, Julien Grall (3): xen/arm: hvm_domain does not need to be cacheline aligned xen/arm: Introduce INVALID_VCPU_ID xen/arm: p2m: Perform local TLB invalidation on vCPU migration xen/arch/arm/p2m.c | 24 ++++++++++++++++++++++++ xen/include/asm-arm/config.h | 2 ++ xen/include/asm-arm/domain.h | 2 +- xen/include/asm-arm/p2m.h | 3 +++ 4 files changed, 30 insertions(+), 1 deletion(-) -- 2.11.0 _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org https://lists.xen.org/xen-devel
