Constant CL_DEVICE_ID_INTEL 

pub const CL_DEVICE_ID_INTEL: cl_device_info = 0x4251;