pub const CL_DEVICE_MAX_WARP_COUNT_ARM: cl_device_info = 0x41EA;