Hello Manjunath,
Please note that In any Linux based OS there is a file that maps PCI-IDs : /usr/share/hwdata/pci.ids
Linux PCI bus low-level driver scans the PCI bus, takes the relevant PCI-IDs over PCI bus, and then goes to this file in order to name the PCI-ID to function.
In older distros, that was built with old pci.ids file, ConnectX3 Pro VFs might not be mapped to right name.
You can always verify it, by checking the contents of the file.
So, if it is not up to date with right names,please run from shell "update-pciids" command,
see the synopsis at Ubuntu Manpage: update-pciids - download new version of the PCI ID list
It requires Internet connectivity, since this command connect to internet Linux repository and modifies the content of the "/usr/share/hwdata/pci.ids" file.
Thank you,
Karen.