Symbol: kvmppc_dump_vcpu
arch/powerpc/include/asm/kvm_ppc.h
66
extern void kvmppc_dump_vcpu(struct kvm_vcpu *vcpu);
arch/powerpc/kvm/booke.c
1082
kvmppc_dump_vcpu(vcpu);