taglinefilesource code
reg_store_double122drivers/FPU-emu/fpu_proto.hextern int reg_store_double(double *dfloat, FPU_REG *st0_ptr);
reg_store_double157drivers/FPU-emu/load_store.creg_store_double((double *)data_address, st0_ptr);
reg_store_double177drivers/FPU-emu/load_store.cif ( reg_store_double((double *)data_address, st0_ptr) )