tag	line	file	source code
reg_load_int32	364	drivers/FPU-emu/fpu_entry.c	reg_load_int32((long *)data_address, &loaded_data);
reg_load_int32	118	drivers/FPU-emu/fpu_proto.h	extern void reg_load_int32(long *_s, FPU_REG *loaded_data);
reg_load_int32	130	drivers/FPU-emu/load_store.c	reg_load_int32((long *)data_address, st0_ptr);