tag	line	file	source code
write_to_extended	41	drivers/FPU-emu/reg_ld_str.c	static void write_to_extended(FPU_REG *rp, char *d);
write_to_extended	453	drivers/FPU-emu/reg_ld_str.c	write_to_extended(FPU_st0_ptr, (char *) FPU_data_address);
write_to_extended	1393	drivers/FPU-emu/reg_ld_str.c	write_to_extended(&regs[(top + i) & 7], d + 10 * i);