TLBnCFG_PT
vcpu->arch.tlbcfg[0] &= ~TLBnCFG_PT;
if ((tlb1cfg & TLBnCFG_IND) && (tlb0cfg & TLBnCFG_PT))