kvmppc_dump_vcpu   65 arch/powerpc/include/asm/kvm_ppc.h extern void kvmppc_dump_vcpu(struct kvm_vcpu *vcpu);
kvmppc_dump_vcpu 1034 arch/powerpc/kvm/booke.c 		kvmppc_dump_vcpu(vcpu);