tag	line	file	source code
single	181	kernel/FPU-emu/reg_ld_str.c	float *single = (float *)FPU_data_address;
single	186	kernel/FPU-emu/reg_ld_str.c	m32 = get_fs_long((unsigned long *) single);
single	655	kernel/FPU-emu/reg_ld_str.c	float *single = (float *)FPU_data_address;
single	750	kernel/FPU-emu/reg_ld_str.c	verify_area((void *)single,4);
single	751	kernel/FPU-emu/reg_ld_str.c	put_fs_long(0xffc00000, (unsigned long *) single);
single	775	kernel/FPU-emu/reg_ld_str.c	verify_area((void *)single,4);
single	776	kernel/FPU-emu/reg_ld_str.c	put_fs_long(templ,(unsigned long *) single);