tag	line	file	source code
cs_selector	79	drivers/FPU-emu/fpu_emu.h	FPU_entry_op_cs = cs_selector; }
cs_selector	271	drivers/FPU-emu/fpu_entry.c	cs_selector &= 0xffff0000;
cs_selector	272	drivers/FPU-emu/fpu_entry.c	cs_selector |= status_word();
cs_selector	544	drivers/FPU-emu/fpu_entry.c	cs_selector = FPU_entry_op_cs;
cs_selector	1165	drivers/FPU-emu/reg_ld_str.c	cs_selector = get_fs_long((unsigned long *) (s+0x10));
cs_selector	1292	drivers/FPU-emu/reg_ld_str.c	put_fs_long(cs_selector & ~0xf8000000, (unsigned long *) (d+0x10));