tag	line	file	source code
reg_store_int64	124	drivers/FPU-emu/fpu_proto.h	extern int reg_store_int64(long long *d, FPU_REG *st0_ptr);
reg_store_int64	254	drivers/FPU-emu/load_store.c	if ( reg_store_int64((long long *)data_address, st0_ptr) )