On 06/13/2018 10:17 AM, Sean Christopherson wrote: >> When using shadow paging mode, map guest PCIDs 1:1 to host PCIDs instead >> of mapping them all to PCID 0. > Nit - what about changing the wording to something like: > > When using shadow paging mode, propagate the guest's PCID value to > the shadow CR3 in the host instead of always using PCID 0. > > My initial impression of the commit message is that the intent is to > actively track and map the guest's PCID values to PCIDs that are being > used by the host kernel. > Sure, I'll update the message. Thanks, Junaid
