FPU_store_int16
extern int FPU_store_int16(FPU_REG *st0_ptr, u_char st0_tag, short __user *d);
if (FPU_store_int16
FPU_store_int16(st0_ptr, st0_tag, (short __user *)data_address);
if (FPU_store_int16