taglinefilesource code
dfloat115drivers/FPU-emu/fpu_proto.hextern int reg_load_double(double *dfloat, FPU_REG *loaded_data);
dfloat122drivers/FPU-emu/fpu_proto.hextern int reg_store_double(double *dfloat, FPU_REG *st0_ptr);
dfloat140drivers/FPU-emu/reg_ld_str.cint reg_load_double(double *dfloat, FPU_REG *loaded_data)
dfloat146drivers/FPU-emu/reg_ld_str.cFPU_verify_area(VERIFY_READ, dfloat, 8);
dfloat147drivers/FPU-emu/reg_ld_str.cm64 = get_fs_long(1 + (unsigned long *) dfloat);
dfloat148drivers/FPU-emu/reg_ld_str.cl64 = get_fs_long((unsigned long *) dfloat);
dfloat461drivers/FPU-emu/reg_ld_str.cint reg_store_double(double *dfloat, FPU_REG *st0_ptr)
dfloat633drivers/FPU-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,(void *)dfloat,8);
dfloat634drivers/FPU-emu/reg_ld_str.cput_fs_long(0, (unsigned long *) dfloat);
dfloat635drivers/FPU-emu/reg_ld_str.cput_fs_long(0xfff80000, 1 + (unsigned long *) dfloat);
dfloat646drivers/FPU-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,(void *)dfloat,8);
dfloat647drivers/FPU-emu/reg_ld_str.cput_fs_long(l[0], (unsigned long *)dfloat);
dfloat648drivers/FPU-emu/reg_ld_str.cput_fs_long(l[1], 1 + (unsigned long *)dfloat);