kvmppc_get_hpa
ret = kvmppc_get_hpa(vcpu, mmu_seq, dest, 1, &pa, &memslot);
ret = kvmppc_get_hpa(vcpu, mmu_seq, dest, 1, &dest_pa, &dest_memslot);
ret = kvmppc_get_hpa(vcpu, mmu_seq, src, 0, &src_pa, NULL);