get_tlb_ts
return kvmppc_e500_get_sid(to_e500(vcpu), get_tlb_ts(gtlbe),
ts = get_tlb_ts(gtlbe);
if (get_tlb_ts(tlbe) != !!(vcpu->arch.shared->msr & MSR_IS))
if (get_tlb_ts(tlbe) != as && as != -1)
ts = get_tlb_ts(gtlbe);