PCI_DEVICE_ID_MELLANOX_SINAI
{ PCI_DEVICE(PCI_VENDOR_ID_MELLANOX, PCI_DEVICE_ID_MELLANOX_SINAI),
{ PCI_DEVICE(PCI_VENDOR_ID_TOPSPIN, PCI_DEVICE_ID_MELLANOX_SINAI),
case PCI_DEVICE_ID_MELLANOX_SINAI: