kvmppc_get_sprg4  554 arch/powerpc/kvm/book3s.c 	regs->sprg4 = kvmppc_get_sprg4(vcpu);
kvmppc_get_sprg4 1448 arch/powerpc/kvm/booke.c 	regs->sprg4 = kvmppc_get_sprg4(vcpu);