95 int FPU_load_double(double __user *dfloat, FPU_REG *loaded_data)  in FPU_load_double()  argument
101 	FPU_access_ok(dfloat, 8);  in FPU_load_double()
102 	FPU_get_user(m64, 1 + (unsigned long __user *)dfloat);  in FPU_load_double()
103 	FPU_get_user(l64, (unsigned long __user *)dfloat);  in FPU_load_double()
379 int FPU_store_double(FPU_REG *st0_ptr, u_char st0_tag, double __user *dfloat)  in FPU_store_double()  argument
542 			FPU_access_ok(dfloat, 8);  in FPU_store_double()
543 			FPU_put_user(0, (unsigned long __user *)dfloat);  in FPU_store_double()
545 				     1 + (unsigned long __user *)dfloat);  in FPU_store_double()
555 	FPU_access_ok(dfloat, 8);  in FPU_store_double()
556 	FPU_put_user(l[0], (unsigned long __user *)dfloat);  in FPU_store_double()
557 	FPU_put_user(l[1], 1 + (unsigned long __user *)dfloat);  in FPU_store_double()