taglinefilesource code
write_to_extended41drivers/FPU-emu/reg_ld_str.cstatic void write_to_extended(FPU_REG *rp, char *d);
write_to_extended453drivers/FPU-emu/reg_ld_str.cwrite_to_extended(FPU_st0_ptr, (char *) FPU_data_address);
write_to_extended1393drivers/FPU-emu/reg_ld_str.cwrite_to_extended(&regs[(top + i) & 7], d + 10 * i);