VSC_SEMAPHORE_OFFSET
ret = vsc_write(dev, VSC_SEMAPHORE_OFFSET, counter);
ret = vsc_read(dev, VSC_SEMAPHORE_OFFSET, &lock_val);
ret = vsc_write(dev, VSC_SEMAPHORE_OFFSET, MLX5_VSC_UNLOCK);
ret = vsc_read(dev, VSC_SEMAPHORE_OFFSET, &lock_val);