kvmppc_dump_regs 1270 arch/powerpc/kvm/book3s_hv.c 		kvmppc_dump_regs(vcpu);
kvmppc_dump_regs 1427 arch/powerpc/kvm/book3s_hv.c 		kvmppc_dump_regs(vcpu);
kvmppc_dump_regs 1459 arch/powerpc/kvm/book3s_hv.c 		kvmppc_dump_regs(vcpu);