get_cur_pid
get_cur_pid(&vcpu_e500->vcpu),
#define get_tlbmiss_tid(vcpu) get_cur_pid(vcpu)
| (get_cur_pid(vcpu) << 16)
get_cur_pid(vcpu), -1);
return kvmppc_e500_tlb_search(vcpu, eaddr, get_cur_pid(vcpu), as);
return kvmppc_e500_tlb_search(vcpu, eaddr, get_cur_pid(vcpu), as);