New major Linux kernel version, new major breakage of VMware Workstation. Here's what and how to patch to be able to compile VMware's modules so you can run your virtual machines under Linux kernel 3.10.
vmnet
The compilation of the vmnet.ko module fails, a patch found on the VMware Community forum fixes this.
It has to be applied to the contents of /usr/lib/vmware/modules/source/vmnet.tar. You can find the instructions on how to do this in my older post.
vmblock
After the first patch, we're still not out of the woods: the vmblock.ko won't compile either. In the same thread a link is provided to a blog post with the appropriate patch. This time, the patch has to be applied to the files in /usr/lib/vmware/modules/source/vmblock.tar.
Compile
Now you can compile the modules with vmware-modconfig --console --install-all, provided you installed the appropriate kernel header files for your kernel. In my case, the packages I needed were:
ii linux-headers-3.10-2-amd64 3.10.7-1 amd64 Header files for Linux 3.10-2-amd64
ii linux-headers-3.10-2-common 3.10.7-1 amd64 Common header files for Linux 3.10-2
ii linux-image-3.10-2-amd64 3.10.7-1 amd64 Linux 3.10 for 64-bit PCs