tag	line	file	source code
reg_load_int32	204	kernel/FPU-emu/fpu_entry.c	reg_load_int32();
reg_load_int32	85	kernel/FPU-emu/fpu_proto.h	extern void reg_load_int32(void);
reg_load_int32	86	kernel/FPU-emu/load_store.c	reg_load_int32();