USER_SOCKPTR
certs_address = USER_SOCKPTR((void __user *)report_req->certs_address);
io.req_data = USER_SOCKPTR((void __user *)input.req_data);
io.resp_data = USER_SOCKPTR((void __user *)input.resp_data);
return tdx_do_report(USER_SOCKPTR(req->reportdata),
USER_SOCKPTR(req->tdreport));
USER_SOCKPTR(optval),
optval_s = USER_SOCKPTR(optval);
USER_SOCKPTR(optval), USER_SOCKPTR(optlen));
return do_tcp_getsockopt(sk, level, optname, USER_SOCKPTR(optval),
USER_SOCKPTR(optlen));
USER_SOCKPTR(optval), USER_SOCKPTR(optlen));
sockptr_t optval = USER_SOCKPTR(user_optval);
USER_SOCKPTR(optval), USER_SOCKPTR(optlen));