kvmppc_get_dsisr  616 arch/powerpc/kvm/book3s.c 			*val = get_reg_val(id, kvmppc_get_dsisr(vcpu));
kvmppc_get_dsisr  890 arch/powerpc/kvm/book3s_emulate.c 		*spr_val = kvmppc_get_dsisr(vcpu);