Symbol: kvmppc_core_queue_machine_check
arch/powerpc/include/asm/kvm_ppc.h
132
extern void kvmppc_core_queue_machine_check(struct kvm_vcpu *vcpu,
arch/powerpc/kvm/book3s.c
196
EXPORT_SYMBOL_GPL(kvmppc_core_queue_machine_check);
arch/powerpc/kvm/book3s_hv.c
1698
kvmppc_core_queue_machine_check(vcpu, flags);