X86_CR3_PCID_MASK
BUILD_BUG_ON((X86_CR3_PCID_MASK & PAGE_MASK) != 0);
? cr3 & X86_CR3_PCID_MASK
if ((kvm_read_cr3(vcpu) & X86_CR3_PCID_MASK) || !is_long_mode(vcpu))
pcid = cr3 & X86_CR3_PCID_MASK;