tag	line	file	source code
dfloat	107	kernel/FPU-emu/reg_ld_str.c	double *dfloat = (double *)FPU_data_address;
dfloat	112	kernel/FPU-emu/reg_ld_str.c	m64 = get_fs_long(1 + (unsigned long *) dfloat);
dfloat	113	kernel/FPU-emu/reg_ld_str.c	l64 = get_fs_long((unsigned long *) dfloat);
dfloat	503	kernel/FPU-emu/reg_ld_str.c	double *dfloat = (double *)FPU_data_address;
dfloat	649	kernel/FPU-emu/reg_ld_str.c	verify_area(VERIFY_WRITE,(void *)dfloat,8);
dfloat	650	kernel/FPU-emu/reg_ld_str.c	put_fs_long(0, (unsigned long *) dfloat);
dfloat	651	kernel/FPU-emu/reg_ld_str.c	put_fs_long(0xfff80000, 1 + (unsigned long *) dfloat);
dfloat	668	kernel/FPU-emu/reg_ld_str.c	verify_area(VERIFY_WRITE,(void *)dfloat,8);
dfloat	669	kernel/FPU-emu/reg_ld_str.c	put_fs_long(l[0], (unsigned long *)dfloat);
dfloat	670	kernel/FPU-emu/reg_ld_str.c	put_fs_long(l[1], 1 + (unsigned long *)dfloat);