Reference

if_vmx(4freebsd) on Linux

The text 9b2302df92ed, as Debian 9 (Stretch) shipped it.

VMware VMXNET3 Virtual Interface Controller device

if_vmx(4freebsd) on Linux now