tag	line	file	source code
dfloat	149	drivers/FPU-emu/reg_ld_str.c	double *dfloat = (double *)FPU_data_address;
dfloat	154	drivers/FPU-emu/reg_ld_str.c	m64 = get_fs_long(1 + (unsigned long *) dfloat);
dfloat	155	drivers/FPU-emu/reg_ld_str.c	l64 = get_fs_long((unsigned long *) dfloat);
dfloat	469	drivers/FPU-emu/reg_ld_str.c	double *dfloat = (double *)FPU_data_address;
dfloat	639	drivers/FPU-emu/reg_ld_str.c	verify_area(VERIFY_WRITE,(void *)dfloat,8);
dfloat	640	drivers/FPU-emu/reg_ld_str.c	put_fs_long(0, (unsigned long *) dfloat);
dfloat	641	drivers/FPU-emu/reg_ld_str.c	put_fs_long(0xfff80000, 1 + (unsigned long *) dfloat);
dfloat	652	drivers/FPU-emu/reg_ld_str.c	verify_area(VERIFY_WRITE,(void *)dfloat,8);
dfloat	653	drivers/FPU-emu/reg_ld_str.c	put_fs_long(l[0], (unsigned long *)dfloat);
dfloat	654	drivers/FPU-emu/reg_ld_str.c	put_fs_long(l[1], 1 + (unsigned long *)dfloat);