swlist VRTSvxfs will tell you what version you're using.

I think I know what's going on here. If you run the mount -p command to display the mounted filesystems in fstab format, you will probably see a dev= option for every device. I suspect another admin has simply copied and pasted those mount options into fstab at some point; but I imagine the dev= option is meaningless in there as it would be dynamically set to the device number of the device that is mounted.

In other words, don't put it in /etc/fstab.