FPU_load_single
FPU_load_single((float __user *)
extern int FPU_load_single(float __user *single, FPU_REG *loaded_data);
FPU_load_single((float __user *)data_address, &loaded_data);