24 #define dprintk(...) do { } while(0);
63 #define OP_63_FCMPU		0
91 #define OP_4X_PS_CMPU0		0
125 #define SCALAR_NONE		0
126 #define SCALAR_HIGH		(1 << 0)
131 #define GQR_ST_TYPE_MASK	0x00000007
132 #define GQR_ST_TYPE_SHIFT	0
133 #define GQR_ST_SCALE_MASK	0x00003f00
135 #define GQR_LD_TYPE_MASK	0x00070000
137 #define GQR_LD_SCALE_MASK	0x3f000000
140 #define GQR_QUANTIZE_FLOAT	0
146 #define FPU_LS_SINGLE		0
160 	msr = kvmppc_set_field(msr, 33, 36, 0);  in kvmppc_inject_pf()
161 	msr = kvmppc_set_field(msr, 42, 47, 0);  in kvmppc_inject_pf()
165 	dsisr = kvmppc_set_field(0, 33, 33, 1);  in kvmppc_inject_pf()
187 	if (r < 0) {  in kvmppc_emulate_fpr_load()
209 	dprintk(KERN_INFO "KVM: FPR_LD [0x%llx] at 0x%lx (%d)\n", *(u64*)tmp,  in kvmppc_emulate_fpr_load()
233 		val = VCPU_FPR(vcpu, rs) & 0xffffffff;  in kvmppc_emulate_fpr_store()
242 		val = 0;  in kvmppc_emulate_fpr_store()
243 		len = 0;  in kvmppc_emulate_fpr_store()
248 	if (r < 0) {  in kvmppc_emulate_fpr_store()
256 	dprintk(KERN_INFO "KVM: FPR_ST [0x%llx] at 0x%lx (%d)\n",  in kvmppc_emulate_fpr_store()
278 	if (r < 0) {  in kvmppc_emulate_psq_load()
295 	kvm_cvt_fd(&tmp[0], &VCPU_FPR(vcpu, rs));  in kvmppc_emulate_psq_load()
298 	dprintk(KERN_INFO "KVM: PSQ_LD [0x%x, 0x%x] at 0x%lx (%d)\n", tmp[0],  in kvmppc_emulate_psq_load()
313 	kvm_cvt_df(&VCPU_FPR(vcpu, rs), &tmp[0]);  in kvmppc_emulate_psq_store()
318 	if (r < 0) {  in kvmppc_emulate_psq_store()
321 		emulated = kvmppc_handle_store(vcpu, tmp[0], 4, 1);  in kvmppc_emulate_psq_store()
323 		u64 val = ((u64)tmp[0] << 32) | tmp[1];  in kvmppc_emulate_psq_store()
329 	dprintk(KERN_INFO "KVM: PSQ_ST [0x%x, 0x%x] at 0x%lx (%d)\n",  in kvmppc_emulate_psq_store()
330 			  tmp[0], tmp[1], addr, len);  in kvmppc_emulate_psq_store()
482 	int d = inst & 0x8ff;  in get_d_signext()
484 	if (d & 0x800)  in get_d_signext()
485 		return -(d & 0x7ff);  in get_d_signext()
487 	return (d & 0x7ff);  in get_d_signext()
515 	dprintk(KERN_INFO "PS3 ps0 -> f(0x%x, 0x%x, 0x%x) = 0x%x\n",  in kvmppc_ps_three_in()
532 	dprintk(KERN_INFO "PS3 ps1 -> f(0x%x, 0x%x, 0x%x) = 0x%x\n",  in kvmppc_ps_three_in()
565 		dprintk(KERN_INFO "PS2 ps0 -> f(0x%x, 0x%x) = 0x%x\n",  in kvmppc_ps_two_in()
583 		dprintk(KERN_INFO "PS2 ps1 -> f(0x%x, 0x%x) = 0x%x\n",  in kvmppc_ps_two_in()
606 	dprintk(KERN_INFO "PS1 ps0 -> f(0x%x) = 0x%x\n",  in kvmppc_ps_one_in()
615 	dprintk(KERN_INFO "PS1 ps1 -> f(0x%x) = 0x%x\n",  in kvmppc_ps_one_in()
669 	for (i = 0; i < ARRAY_SIZE(vcpu->arch.fp.fpr); i++) {  in kvmppc_emulate_paired_single()
672 		dprintk(KERN_INFO "FPR[%d] = 0x%x / 0x%llx    QPR[%d] = 0x%x\n",  in kvmppc_emulate_paired_single()
680 		ulong addr = ax_ra ? kvmppc_get_gpr(vcpu, ax_ra) : 0;  in kvmppc_emulate_paired_single()
703 		ulong addr = ax_ra ? kvmppc_get_gpr(vcpu, ax_ra) : 0;  in kvmppc_emulate_paired_single()
733 			ulong addr = ax_ra ? kvmppc_get_gpr(vcpu, ax_ra) : 0;  in kvmppc_emulate_paired_single()
760 			VCPU_FPR(vcpu, ax_rd) ^= 0x8000000000000000ULL;  in kvmppc_emulate_paired_single()
762 			vcpu->arch.qpr[ax_rd] ^= 0x80000000;  in kvmppc_emulate_paired_single()
780 			VCPU_FPR(vcpu, ax_rd) |= 0x8000000000000000ULL;  in kvmppc_emulate_paired_single()
782 			vcpu->arch.qpr[ax_rd] |= 0x80000000;  in kvmppc_emulate_paired_single()
787 			VCPU_FPR(vcpu, ax_rd) &= ~0x8000000000000000ULL;  in kvmppc_emulate_paired_single()
789 			vcpu->arch.qpr[ax_rd] &= ~0x80000000;  in kvmppc_emulate_paired_single()
824 			ulong addr = ax_ra ? kvmppc_get_gpr(vcpu, ax_ra) : 0;  in kvmppc_emulate_paired_single()
925 		ulong addr = (ax_ra ? kvmppc_get_gpr(vcpu, ax_ra) : 0) + full_d;  in kvmppc_emulate_paired_single()
944 		ulong addr = (ax_ra ? kvmppc_get_gpr(vcpu, ax_ra) : 0) + full_d;  in kvmppc_emulate_paired_single()
963 		ulong addr = (ax_ra ? kvmppc_get_gpr(vcpu, ax_ra) : 0) + full_d;  in kvmppc_emulate_paired_single()
982 		ulong addr = (ax_ra ? kvmppc_get_gpr(vcpu, ax_ra) : 0) + full_d;  in kvmppc_emulate_paired_single()
1003 			ulong addr = ax_ra ? kvmppc_get_gpr(vcpu, ax_ra) : 0;  in kvmppc_emulate_paired_single()
1024 			ulong addr = (ax_ra ? kvmppc_get_gpr(vcpu, ax_ra) : 0) +  in kvmppc_emulate_paired_single()
1045 			ulong addr = (ax_ra ? kvmppc_get_gpr(vcpu, ax_ra) : 0) +  in kvmppc_emulate_paired_single()
1066 			ulong addr = (ax_ra ? kvmppc_get_gpr(vcpu, ax_ra) : 0) +  in kvmppc_emulate_paired_single()
1087 			ulong addr = (ax_ra ? kvmppc_get_gpr(vcpu, ax_ra) : 0) +  in kvmppc_emulate_paired_single()
1164 			u32 cr0_mask = 0xf0000000;  in kvmppc_emulate_paired_single()
1175 			u32 cr0_mask = 0xf0000000;  in kvmppc_emulate_paired_single()
1249 	for (i = 0; i < ARRAY_SIZE(vcpu->arch.fp.fpr); i++) {  in kvmppc_emulate_paired_single()
1252 		dprintk(KERN_INFO "FPR[%d] = 0x%x\n", i, f);  in kvmppc_emulate_paired_single()