Re: [PATCH] KVM: x86/mmu: remove unnecessary flush_workqueue()

From: Paolo Bonzini
Date: Tue Apr 05 2022 - 21:19:57 EST


Queued, thanks.

Paolo