tag	line	file	source code
operand_selector	44	drivers/FPU-emu/fpu_aux.c	operand_selector = 0;
operand_selector	76	drivers/FPU-emu/fpu_emu.h	FPU_data_selector = operand_selector; }
operand_selector	273	drivers/FPU-emu/fpu_entry.c	operand_selector = tag_word();
operand_selector	470	drivers/FPU-emu/fpu_entry.c	*(unsigned short *)&operand_selector = FPU_data_selector;
operand_selector	545	drivers/FPU-emu/fpu_entry.c	*(unsigned short *)&operand_selector = FPU_data_selector;
operand_selector	1167	drivers/FPU-emu/reg_ld_str.c	operand_selector = get_fs_long((unsigned long *) (s+0x18));
operand_selector	1296	drivers/FPU-emu/reg_ld_str.c	put_fs_long(0xffff0000 | operand_selector, (unsigned long *) (d+0x18));
operand_selector	1298	drivers/FPU-emu/reg_ld_str.c	put_fs_long(operand_selector, (unsigned long *) (d+0x18));