halide_set_gpu_device  544 src/runtime/HalideRuntime.h extern void halide_set_gpu_device(int n);
halide_set_gpu_device  173 src/runtime/runtime_api.cpp     (void *)&halide_set_gpu_device,