dest_pa           970 arch/powerpc/kvm/book3s_hv_rm_mmu.c 	unsigned long dest_pa, src_pa, mmu_seq;
dest_pa           979 arch/powerpc/kvm/book3s_hv_rm_mmu.c 	ret = kvmppc_get_hpa(vcpu, dest, 1, &dest_pa, &dest_memslot);
dest_pa           994 arch/powerpc/kvm/book3s_hv_rm_mmu.c 	memcpy((void *)dest_pa, (void *)src_pa, SZ_4K);