tag	line	file	source code
_s	297	drivers/FPU-emu/reg_ld_str.c	long long *_s = (long long *)FPU_data_address;
_s	302	drivers/FPU-emu/reg_ld_str.c	FPU_verify_area(VERIFY_READ, _s, 8);
_s	303	drivers/FPU-emu/reg_ld_str.c	((unsigned long *)&s)[0] = get_fs_long((unsigned long *) _s);
_s	304	drivers/FPU-emu/reg_ld_str.c	((unsigned long *)&s)[1] = get_fs_long(1 + (unsigned long *) _s);
_s	329	drivers/FPU-emu/reg_ld_str.c	long *_s = (long *)FPU_data_address;
_s	334	drivers/FPU-emu/reg_ld_str.c	FPU_verify_area(VERIFY_READ, _s, 4);
_s	335	drivers/FPU-emu/reg_ld_str.c	s = (long)get_fs_long((unsigned long *) _s);
_s	361	drivers/FPU-emu/reg_ld_str.c	short *_s = (short *)FPU_data_address;
_s	365	drivers/FPU-emu/reg_ld_str.c	FPU_verify_area(VERIFY_READ, _s, 2);
_s	367	drivers/FPU-emu/reg_ld_str.c	s = (short)get_fs_word((unsigned short *) _s);