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);