Fixing "unused parameter" warning in DeviceOpQueue.