__cl_int4 803 3rdparty/include/opencl/1.2/CL/cl_platform.h __cl_int4 v4; __cl_int4 822 3rdparty/include/opencl/1.2/CL/cl_platform.h __cl_int4 v4[2]; __cl_int4 841 3rdparty/include/opencl/1.2/CL/cl_platform.h __cl_int4 v4[4];