tag	line	file	source code
cpu_reg_ptr	115	drivers/FPU-emu/get_address.c	long *cpu_reg_ptr;
cpu_reg_ptr	131	drivers/FPU-emu/get_address.c	cpu_reg_ptr = & REG_(FPU_rm);
cpu_reg_ptr	147	drivers/FPU-emu/get_address.c	FPU_data_address = (void *)*cpu_reg_ptr;  /* Just return the contents
cpu_reg_ptr	170	drivers/FPU-emu/get_address.c	FPU_data_address = offset + (char *)*cpu_reg_ptr;