kvmppc_e500_shadow_map
r = kvmppc_e500_shadow_map(vcpu_e500, get_tlb_eaddr(gtlbe),
r = kvmppc_e500_shadow_map(vcpu_e500, gvaddr, gfn, gtlbe, 1, stlbe,