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