MLX5_VSC_SEMA_OFFSET
if (pci_read_config(dev, vsc_addr + MLX5_VSC_SEMA_OFFSET, 4)) {
pci_write_config(dev, vsc_addr + MLX5_VSC_SEMA_OFFSET, counter, 4);
lock_val = pci_read_config(dev, vsc_addr + MLX5_VSC_SEMA_OFFSET, 4);
pci_write_config(dev, vsc_addr + MLX5_VSC_SEMA_OFFSET, 0, 4);