tag	line	file	source code
reg_store_int32	116	kernel/FPU-emu/fpu_proto.h	extern int reg_store_int32(void);
reg_store_int32	124	kernel/FPU-emu/load_store.c	reg_store_int32();
reg_store_int32	142	kernel/FPU-emu/load_store.c	if ( reg_store_int32() )