On 10.04.2020 17:48, Wei Liu wrote: > On Thu, Apr 09, 2020 at 01:54:40PM +0200, Jan Beulich wrote: >> On 06.04.2020 12:57, Roger Pau Monne wrote: >>> --- a/xen/arch/x86/mm/hap/private.h >>> +++ b/xen/arch/x86/mm/hap/private.h >>> @@ -47,4 +47,9 @@ unsigned long hap_p2m_ga_to_gfn_4_levels(struct vcpu *v, >>> struct p2m_domain *p2m, unsigned long cr3, >>> paddr_t ga, uint32_t *pfec, unsigned int *page_order); >>> >>> +static inline void hap_flush_tlb_mask(const cpumask_t *mask) >>> +{ >>> + flush_mask(mask, FLUSH_HVM_ASID_CORE); >>> +} >> >> With the above introduction of this would then become unnecessary. > > I had planned to make the required adjustment(s) and commit v9 today.
Actually I came to make these comments in the course of preparing to commit the series, while making the small adjustments. Jan