kvm_get_pcid
return kvm_get_pcid(vcpu, kvm_read_cr3(vcpu));
pcid == kvm_get_pcid(vcpu, mmu->prev_roots[i].pgd))
if (kvm_get_pcid(vcpu, mmu->prev_roots[i].pgd) == pcid)