read_user_wptr
valid_wptr = read_user_wptr(mm, wptr, wptr_val);
if (read_user_wptr(mm, wptr, data))
if (read_user_wptr(mm, wptr64, data64)) {