Symbol: kvmppc_realmode_machine_check
arch/powerpc/include/asm/kvm_ppc.h
824
void kvmppc_realmode_machine_check(struct kvm_vcpu *vcpu);
arch/powerpc/kvm/book3s_hv_p9_entry.c
774
kvmppc_realmode_machine_check(vcpu);