[Xen-devel] [PATCH v2 0/3] misc flush and dirty-mask related adjustments

2018-01-23 Thread Jan Beulich
1: replace vCPU's dirty CPU mask by numeric ID
2: x86: avoid explicit TLB flush when saving exec state
3: drop "domain_" prefix from struct domain's dirty CPU mask

Signed-off-by: Jan Beulich 
---
v2: Addressing review comments - see individual patches.


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

Re: [Xen-devel] [PATCH v2 0/3] misc flush and dirty-mask related adjustments

2018-01-23 Thread Andrew Cooper
On 23/01/2018 10:07, Jan Beulich wrote:
> 1: replace vCPU's dirty CPU mask by numeric ID
> 2: x86: avoid explicit TLB flush when saving exec state
> 3: drop "domain_" prefix from struct domain's dirty CPU mask

Much clearer.

Reviewed-by: Andrew Cooper 

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