correct use of special value that marks unused request_queue slots (necessary because DeviceIDs >= 255 are possible)