cl_device_id clutil_platform::get_device_ids(cl_device_type device_type) { return platform_util->get_device_ids(device_type); }