pub type cl_d3d10_device_set_khr = cl_uint;