halide_cuda_device_release  859 src/runtime/cuda.cpp     halide_cuda_device_release(NULL);
halide_cuda_device_release  908 src/runtime/cuda.cpp     halide_cuda_device_release,