An updated patch is available to make VMware Workstation 7.1.6 or Player 3.1.6 work with kernel 3.16: vmware-patch_for_kernel_3.16.tar.gz
This time, I’ve created the patch myself as there were no patches available on the web.
If you used the previous patch for kernel 3.11, go into /usr/lib/vmware/modules, move the already-patched files out of the way and copy the unpatched files to their original location:
# cd /usr/lib/vmware/modules/
# mv source source-3.11
# cp -a source-player3.1.6-something-backup source
The install instructions are same as before, just replace 3.11 with 3.16:
$ tar xf vmware-patch_for_kernel_3.16.tar.gz
# cd vmware-patch_for_kernel_3.16
Tested with Debian Wheezy using kernel 3.16 from wheezy-backports.