PCI_DEVICE_ID_MELLANOX_SINAI 1177 drivers/infiniband/hw/mthca/mthca_main.c { PCI_DEVICE(PCI_VENDOR_ID_MELLANOX, PCI_DEVICE_ID_MELLANOX_SINAI), PCI_DEVICE_ID_MELLANOX_SINAI 1179 drivers/infiniband/hw/mthca/mthca_main.c { PCI_DEVICE(PCI_VENDOR_ID_TOPSPIN, PCI_DEVICE_ID_MELLANOX_SINAI), PCI_DEVICE_ID_MELLANOX_SINAI 1048 drivers/infiniband/hw/mthca/mthca_provider.c case PCI_DEVICE_ID_MELLANOX_SINAI: