FPU_store_int32
extern int FPU_store_int32(FPU_REG *st0_ptr, u_char st0_tag, long __user *d);
if (FPU_store_int32
FPU_store_int32(st0_ptr, st0_tag, (long __user *)data_address);
if (FPU_store_int32