pub type cl_d3d11_device_set_khr = cl_uint;