tag	line	file	source code
dfloat	150	drivers/FPU-emu/reg_ld_str.c	double *dfloat = (double *)FPU_data_address;
dfloat	155	drivers/FPU-emu/reg_ld_str.c	FPU_verify_area(VERIFY_READ, dfloat, 8);
dfloat	156	drivers/FPU-emu/reg_ld_str.c	m64 = get_fs_long(1 + (unsigned long *) dfloat);
dfloat	157	drivers/FPU-emu/reg_ld_str.c	l64 = get_fs_long((unsigned long *) dfloat);
dfloat	480	drivers/FPU-emu/reg_ld_str.c	double *dfloat = (double *)FPU_data_address;
dfloat	650	drivers/FPU-emu/reg_ld_str.c	FPU_verify_area(VERIFY_WRITE,(void *)dfloat,8);
dfloat	651	drivers/FPU-emu/reg_ld_str.c	put_fs_long(0, (unsigned long *) dfloat);
dfloat	652	drivers/FPU-emu/reg_ld_str.c	put_fs_long(0xfff80000, 1 + (unsigned long *) dfloat);
dfloat	663	drivers/FPU-emu/reg_ld_str.c	FPU_verify_area(VERIFY_WRITE,(void *)dfloat,8);
dfloat	664	drivers/FPU-emu/reg_ld_str.c	put_fs_long(l[0], (unsigned long *)dfloat);
dfloat	665	drivers/FPU-emu/reg_ld_str.c	put_fs_long(l[1], 1 + (unsigned long *)dfloat);