__CL_INT4__       802 3rdparty/include/opencl/1.2/CL/cl_platform.h #if defined( __CL_INT4__) 
__CL_INT4__       821 3rdparty/include/opencl/1.2/CL/cl_platform.h #if defined( __CL_INT4__) 
__CL_INT4__       840 3rdparty/include/opencl/1.2/CL/cl_platform.h #if defined( __CL_INT4__)