tag	line	file	source code
reg_load_double	337	drivers/FPU-emu/fpu_entry.c	unmasked = reg_load_double();
reg_load_double	108	drivers/FPU-emu/fpu_proto.h	extern int reg_load_double(void);
reg_load_double	104	drivers/FPU-emu/load_store.c	reg_load_double();