It would be nice if there was a manpage with a brief description of the driver, dependencies, etc like many of the other section 4 manpages.
Of course. I was looking for the wrong manpage (if_vmx, not vmxnet3). Sorry for the noise :/