tag	line	file	source code
FPU_data_selector	96	drivers/FPU-emu/fpu_emu.h	FPU_data_selector = operand_selector; }
FPU_data_selector	123	drivers/FPU-emu/fpu_emu.h	extern unsigned short FPU_data_selector;
FPU_data_selector	133	drivers/FPU-emu/fpu_entry.c	unsigned short FPU_data_selector;
FPU_data_selector	222	drivers/FPU-emu/fpu_entry.c	FPU_data_selector = FPU_DS;
FPU_data_selector	467	drivers/FPU-emu/fpu_entry.c	*(unsigned short *)&operand_selector = FPU_data_selector;
FPU_data_selector	534	drivers/FPU-emu/fpu_entry.c	*(unsigned short *)&operand_selector = FPU_data_selector;
FPU_data_selector	151	drivers/FPU-emu/get_address.c	FPU_data_selector = FPU_DS;
FPU_data_selector	230	drivers/FPU-emu/get_address.c	FPU_data_selector = FPU_DS;