Tvmc tune extra options for OpenCL

Hello,

I have trouble with runing autotuning using OpenCL and RPC. When I call tvmc tune command with --help command I’m getting a lot of options, e.g.:

target opencl:
  --target-opencl-max_num_threads TARGET_OPENCL_MAX_NUM_THREADS
                        target opencl max_num_threads
  --target-opencl-thread_warp_size TARGET_OPENCL_THREAD_WARP_SIZE
                        target opencl thread_warp_size
  --target-opencl-from_device TARGET_OPENCL_FROM_DEVICE
                        target opencl from_device
  --target-opencl-libs TARGET_OPENCL_LIBS
                        target opencl libs options
  --target-opencl-model TARGET_OPENCL_MODEL
                        target opencl model string
  --target-opencl-system-lib TARGET_OPENCL_SYSTEM_LIB
                        target opencl system-lib
  --target-opencl-tag TARGET_OPENCL_TAG
                        target opencl tag string
  --target-opencl-device TARGET_OPENCL_DEVICE
                        target opencl device string
  --target-opencl-keys TARGET_OPENCL_KEYS
                        target opencl keys options

Can some explain them to community? Or where to find usage in codebase?