get_tlb_tid
get_tlb_tid(gtlbe), get_cur_pr(vcpu), 0);
tid = get_tlb_tid(gtlbe);
#define kvmppc_e500_get_tlb_stid(vcpu, gtlbe) get_tlb_tid(gtlbe)
tid = get_tlb_tid(tlbe);
tid = get_tlb_tid(tlbe);
tid = get_tlb_tid(gtlbe);