103 int FPU_load_double(double *dfloat, FPU_REG *loaded_data)  in FPU_load_double()  argument
109   FPU_verify_area(VERIFY_READ, dfloat, 8);  in FPU_load_double()
110   FPU_get_user(m64, 1 + (unsigned long *) dfloat);  in FPU_load_double()
111   FPU_get_user(l64, (unsigned long *) dfloat);  in FPU_load_double()
414 int FPU_store_double(FPU_REG *st0_ptr, u_char st0_tag, double *dfloat)  in FPU_store_double()  argument
610 	  FPU_verify_area(VERIFY_WRITE,(void *)dfloat,8);  in FPU_store_double()
611 	  FPU_put_user(0, (unsigned long *) dfloat);  in FPU_store_double()
612 	  FPU_put_user(0xfff80000, 1 + (unsigned long *) dfloat);  in FPU_store_double()
623   FPU_verify_area(VERIFY_WRITE,(void *)dfloat,8);  in FPU_store_double()
624   FPU_put_user(l[0], (unsigned long *)dfloat);  in FPU_store_double()
625   FPU_put_user(l[1], 1 + (unsigned long *)dfloat);  in FPU_store_double()