FPU_load_int64
extern int FPU_load_int64(long long __user *_s);
loaded_tag = FPU_load_int64((long long __user *)data_address);