kvmppc_e500_tlb_search
index = kvmppc_e500_tlb_search(vcpu, eaddr, pid, as);
return kvmppc_e500_tlb_search(vcpu, eaddr, get_cur_pid(vcpu), as);