halide_opencl_get_device_type   62 src/runtime/HalideRuntimeOpenCL.h extern const char *halide_opencl_get_device_type(void *user_context);
halide_opencl_get_device_type  309 src/runtime/opencl.cpp     const char * dev_type = halide_opencl_get_device_type(user_context);
halide_opencl_get_device_type  128 src/runtime/runtime_api.cpp     (void *)&halide_opencl_get_device_type,