Constant CL_DEVICE_PROFILE

Source
pub const CL_DEVICE_PROFILE: u32 = 4142;