279 		u64 __user *va = (u64 __user *) (xcp->regs[MIPSInst_RS(ir)] +  in cop1Emulate()  local
285 		if (!access_ok(VERIFY_READ, va, sizeof(u64))) {  in cop1Emulate()
287 			*fault_addr = va;  in cop1Emulate()
290 		if (__get_user(val, va)) {  in cop1Emulate()
292 			*fault_addr = va;  in cop1Emulate()
300 		u64 __user *va = (u64 __user *) (xcp->regs[MIPSInst_RS(ir)] +  in cop1Emulate()  local
306 		if (!access_ok(VERIFY_WRITE, va, sizeof(u64))) {  in cop1Emulate()
308 			*fault_addr = va;  in cop1Emulate()
311 		if (__put_user(val, va)) {  in cop1Emulate()
313 			*fault_addr = va;  in cop1Emulate()
320 		u32 __user *va = (u32 __user *) (xcp->regs[MIPSInst_RS(ir)] +  in cop1Emulate()  local
325 		if (!access_ok(VERIFY_READ, va, sizeof(u32))) {  in cop1Emulate()
327 			*fault_addr = va;  in cop1Emulate()
330 		if (__get_user(val, va)) {  in cop1Emulate()
332 			*fault_addr = va;  in cop1Emulate()
340 		u32 __user *va = (u32 __user *) (xcp->regs[MIPSInst_RS(ir)] +  in cop1Emulate()  local
346 		if (!access_ok(VERIFY_WRITE, va, sizeof(u32))) {  in cop1Emulate()
348 			*fault_addr = va;  in cop1Emulate()
351 		if (__put_user(val, va)) {  in cop1Emulate()
353 			*fault_addr = va;  in cop1Emulate()
661 		u32 __user *va;  in fpux_emu()  local
666 			va = (void __user *) (xcp->regs[MIPSInst_FR(ir)] +  in fpux_emu()
670 			if (!access_ok(VERIFY_READ, va, sizeof(u32))) {  in fpux_emu()
672 				*fault_addr = va;  in fpux_emu()
675 			if (__get_user(val, va)) {  in fpux_emu()
677 				*fault_addr = va;  in fpux_emu()
684 			va = (void __user *) (xcp->regs[MIPSInst_FR(ir)] +  in fpux_emu()
690 			if (!access_ok(VERIFY_WRITE, va, sizeof(u32))) {  in fpux_emu()
692 				*fault_addr = va;  in fpux_emu()
695 			if (put_user(val, va)) {  in fpux_emu()
697 				*fault_addr = va;  in fpux_emu()
750 		u64 __user *va;  in fpux_emu()  local
755 			va = (void __user *) (xcp->regs[MIPSInst_FR(ir)] +  in fpux_emu()
759 			if (!access_ok(VERIFY_READ, va, sizeof(u64))) {  in fpux_emu()
761 				*fault_addr = va;  in fpux_emu()
764 			if (__get_user(val, va)) {  in fpux_emu()
766 				*fault_addr = va;  in fpux_emu()
773 			va = (void __user *) (xcp->regs[MIPSInst_FR(ir)] +  in fpux_emu()
778 			if (!access_ok(VERIFY_WRITE, va, sizeof(u64))) {  in fpux_emu()
780 				*fault_addr = va;  in fpux_emu()
783 			if (__put_user(val, va)) {  in fpux_emu()
785 				*fault_addr = va;  in fpux_emu()