tag	line	file	source code
FPU_DS	192	drivers/FPU-emu/fpu_entry.c	if (FPU_CS != USER_CS || FPU_DS != USER_DS)
FPU_DS	222	drivers/FPU-emu/fpu_entry.c	FPU_data_selector = FPU_DS;
FPU_DS	151	drivers/FPU-emu/get_address.c	FPU_data_selector = FPU_DS;
FPU_DS	230	drivers/FPU-emu/get_address.c	FPU_data_selector = FPU_DS;