tag	line	file	source code
reg_load_extended	80	kernel/FPU-emu/fpu_proto.h	extern void reg_load_extended(void);
reg_load_extended	153	kernel/FPU-emu/load_store.c	reg_load_extended();
reg_load_extended	1128	kernel/FPU-emu/reg_ld_str.c	reg_load_extended();