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