tag	line	file	source code
FPU_entry_op_cs	46	drivers/FPU-emu/fpu_aux.c	FPU_entry_op_cs = 0;
FPU_entry_op_cs	79	drivers/FPU-emu/fpu_emu.h	FPU_entry_op_cs = cs_selector; }
FPU_entry_op_cs	99	drivers/FPU-emu/fpu_emu.h	extern unsigned long FPU_entry_op_cs;
FPU_entry_op_cs	142	drivers/FPU-emu/fpu_entry.c	unsigned long FPU_entry_op_cs;
FPU_entry_op_cs	298	drivers/FPU-emu/fpu_entry.c	FPU_entry_op_cs = (swapped_code << 16) | (FPU_CS & 0xffff) ;
FPU_entry_op_cs	546	drivers/FPU-emu/fpu_entry.c	cs_selector = FPU_entry_op_cs;