Re: [RFC 6/7] KVM: X86: Expose PKS to guest and userspace

[Paolo Bonzini]

On 30/09/20 06:36, Sean Christopherson wrote:
> > CR4.PKS is not in the list of CR4 bits that result in a PDPTE load.
> > Since it has no effect on PAE paging, I would be surprised if it did
> > result in a PDPTE load.
> It does belong in the mmu_role_bits though;-)

Does it?  We don't support PKU/PKS for shadow paging, and it's always 
zero for EPT.  We only support enough PKU/PKS for emulation.

Paolo