tag	line	file	source code
single	228	drivers/FPU-emu/reg_ld_str.c	float *single = (float *)FPU_data_address;
single	233	drivers/FPU-emu/reg_ld_str.c	FPU_verify_area(VERIFY_READ, single, 4);
single	234	drivers/FPU-emu/reg_ld_str.c	m32 = get_fs_long((unsigned long *) single);
single	675	drivers/FPU-emu/reg_ld_str.c	float *single = (float *)FPU_data_address;
single	834	drivers/FPU-emu/reg_ld_str.c	FPU_verify_area(VERIFY_WRITE,(void *)single,4);
single	835	drivers/FPU-emu/reg_ld_str.c	put_fs_long(0xffc00000, (unsigned long *) single);
single	853	drivers/FPU-emu/reg_ld_str.c	FPU_verify_area(VERIFY_WRITE,(void *)single,4);
single	854	drivers/FPU-emu/reg_ld_str.c	put_fs_long(templ,(unsigned long *) single);