I would use the built-in vmx(4) driver (which is part of GENERIC) unless you run into issues.
Dmitry, I second SirDice's recommendation to stick with the vmx(4) driver that's present by default in FreeBSD.
At my job, I use this driver with FreeBSD 10.1-RELEASE amd64 in an ESX 5.5 (currently U3b) VM, with two VMXNET3 vNICs. I've been using this every day for over a year, and I haven't noticed any problems with it.
#vmxnet3_load="YES"
#vmxnet_load="YES"