clCreateCommandQueue fails with CL_INVALID_DEVICE - c

Question

I've successfully created an OpenCL context by calling clCreateContextFromType:
const cl_context_properties context_props[] = {
CL_CONTEXT_PLATFORM, (cl_context_properties)cl->platform,
CL_GL_CONTEXT_KHR, (cl_context_properties)interop_context->glx_context,
CL_GLX_DISPLAY_KHR, (cl_context_properties)interop_context->x11_display,
0,
};
cl->context = clCreateContextFromType(context_props, CL_DEVICE_TYPE_GPU, cl_error_cb, NULL, NULL);
if(!cl->context) {
LOG_ERROR("Failed to create OpenCL context");
free(cl);
return NULL;
}
Then I've queried said context for the actual device via a call to clGetContextInfo with CL_CONTEXT_DEVICES parameter, and used the first (and, on my computer, only) device id listed in the result:
clGetContextInfo(cl->context, CL_CONTEXT_DEVICES, num_devices * sizeof(cl_uint), cl_devices, NULL);
cl->device = cl_devices[0];
Yet, when I try to create a command queue via a call to clCreateCommandQueue it fails with CL_INVALID_DEVICE error:
cl_command_queue_properties props = CL_QUEUE_PROFILING_ENABLE;
cl_int error;
cl_command_queue queue = clCreateCommandQueue(cl->context, cl->device, props, &error);
if(!queue) {
LOG_ERROR("Failed to create CL command queue: %d", error);
return NULL;
}
OpenCL documentation clearly states that CL_INVALID_DEVICE is returned "if device is not a valid device or is not associated with context".
The device id I pass to clCreateCommandQueue is the same id that was returned by clGetContextInfo call so it definitely should be valid for this context.
Why am I getting this error then? Is there anything wrong with my code?
I'm running this on Linux x86_64 with a NVIDIA GeForce GTX 1070 GPU and NVIDIA's proprietary driver version 375.26. clinfo runs fine and returns correct information about 1 OpenCL platform with 1 device (my GPU). I tried running some OpenCL code samples and they all worked.