tag	line	file	source code
single	226	drivers/FPU-emu/reg_ld_str.c	float *single = (float *)FPU_data_address;
single	231	drivers/FPU-emu/reg_ld_str.c	m32 = get_fs_long((unsigned long *) single);
single	664	drivers/FPU-emu/reg_ld_str.c	float *single = (float *)FPU_data_address;
single	823	drivers/FPU-emu/reg_ld_str.c	verify_area(VERIFY_WRITE,(void *)single,4);
single	824	drivers/FPU-emu/reg_ld_str.c	put_fs_long(0xffc00000, (unsigned long *) single);
single	842	drivers/FPU-emu/reg_ld_str.c	verify_area(VERIFY_WRITE,(void *)single,4);
single	843	drivers/FPU-emu/reg_ld_str.c	put_fs_long(templ,(unsigned long *) single);