tag	line	file	source code
cpu_reg_ptr	117	kernel/FPU-emu/get_address.c	long *cpu_reg_ptr;
cpu_reg_ptr	128	kernel/FPU-emu/get_address.c	cpu_reg_ptr = & REG_(FPU_rm);
cpu_reg_ptr	144	kernel/FPU-emu/get_address.c	FPU_data_address = (void *)*cpu_reg_ptr;  /* Just return the contents
cpu_reg_ptr	167	kernel/FPU-emu/get_address.c	FPU_data_address = offset + (char *)*cpu_reg_ptr;