halide_opencl_set_device_type   70 apps/HelloAndroid/jni/hello_wrapper.cpp     halide_opencl_set_device_type("gpu");
halide_opencl_set_device_type   54 src/runtime/HalideRuntimeOpenCL.h extern void halide_opencl_set_device_type(const char *n);
halide_opencl_set_device_type  128 src/runtime/opencl.cpp         halide_opencl_set_device_type(name);
halide_opencl_set_device_type  132 src/runtime/runtime_api.cpp     (void *)&halide_opencl_set_device_type,