Reference

if_vmx(4freebsd) on Linux

The text 5f42b1325cf2, as Debian 10 (Buster) shipped it.

VMware VMXNET3 Virtual Interface Controller device

if_vmx(4freebsd) on Linux now