tag	line	file	source code
single	116	drivers/FPU-emu/fpu_proto.h	extern int reg_load_single(float *single, FPU_REG *loaded_data);
single	123	drivers/FPU-emu/fpu_proto.h	extern int reg_store_single(float *single, FPU_REG *st0_ptr);
single	217	drivers/FPU-emu/reg_ld_str.c	int reg_load_single(float *single, FPU_REG *loaded_data)
single	223	drivers/FPU-emu/reg_ld_str.c	FPU_verify_area(VERIFY_READ, single, 4);
single	224	drivers/FPU-emu/reg_ld_str.c	m32 = get_fs_long((unsigned long *) single);
single	656	drivers/FPU-emu/reg_ld_str.c	int reg_store_single(float *single, FPU_REG *st0_ptr)
single	817	drivers/FPU-emu/reg_ld_str.c	FPU_verify_area(VERIFY_WRITE,(void *)single,4);
single	818	drivers/FPU-emu/reg_ld_str.c	put_fs_long(0xffc00000, (unsigned long *) single);
single	836	drivers/FPU-emu/reg_ld_str.c	FPU_verify_area(VERIFY_WRITE,(void *)single,4);
single	837	drivers/FPU-emu/reg_ld_str.c	put_fs_long(templ,(unsigned long *) single);