KERNEL_SOCKPTR
sockptr_t optval = KERNEL_SOCKPTR(iface);
certs_address = KERNEL_SOCKPTR((void *)report_req->certs_address);
.req_data = KERNEL_SOCKPTR(&ext_req),
.resp_data = KERNEL_SOCKPTR(buf),
return tdx_do_report(KERNEL_SOCKPTR(NULL), KERNEL_SOCKPTR(NULL));
ret = tdx_do_report(KERNEL_SOCKPTR(desc->inblob),
KERNEL_SOCKPTR(quote_buf->data));
KERNEL_SOCKPTR(iface->name),
KERNEL_SOCKPTR(&optlen));
KERNEL_SOCKPTR(optval),
KERNEL_SOCKPTR(optlen));
KERNEL_SOCKPTR(optval), *optlen);
KERNEL_SOCKPTR(optval),
KERNEL_SOCKPTR(optlen));
KERNEL_SOCKPTR(optval), *optlen);
KERNEL_SOCKPTR(optval),
KERNEL_SOCKPTR(optlen));
KERNEL_SOCKPTR(optval), *optlen);
KERNEL_SOCKPTR(optval),
KERNEL_SOCKPTR(optlen));
KERNEL_SOCKPTR(optval), *optlen);
KERNEL_SOCKPTR(optval),
KERNEL_SOCKPTR(optlen));
KERNEL_SOCKPTR(optval), *optlen);
KERNEL_SOCKPTR(CMSG_DATA(cmsg)),
sockptr_t optval = KERNEL_SOCKPTR(&val);
sockptr_t optval = KERNEL_SOCKPTR(&val);
KERNEL_SOCKPTR(×tamping),
kopt = KERNEL_SOCKPTR(&ling);
optval = KERNEL_SOCKPTR(kernel_optval);