kvmhv_setup_mmu 3956 arch/powerpc/kvm/book3s_hv.c r = kvmhv_setup_mmu(vcpu); kvmhv_setup_mmu 4066 arch/powerpc/kvm/book3s_hv.c kvmhv_setup_mmu(vcpu);