tag	line	file	source code
cs_selector	310	kernel/FPU-emu/fpu_entry.c	*(1 + (unsigned short *)&cs_selector) = code & 0x7ff;
cs_selector	1145	kernel/FPU-emu/reg_ld_str.c	cs_selector = get_fs_long((unsigned long *) (s+0x10));
cs_selector	1235	kernel/FPU-emu/reg_ld_str.c	*(unsigned short *)&cs_selector = FPU_CS;
cs_selector	1243	kernel/FPU-emu/reg_ld_str.c	put_fs_long(cs_selector, (unsigned long *) (d+0x10));