Les sources des modules vmware vmnet et vmblock livrés avec le bundle vmware linux ne « compilent » plus sous un kernel 3.10. Ce n’est pas lié à un header absent cette fois, mais bien à une incompatibilité du code avec le nouveau kernel.

Un patch existe pour la v9, au moins pour vmnet, il faudra à priori attendre la v10 pour du vmblock en kernel 3.10.

La manip pour patcher :

 

cd /tmp
tar xf /usr/lib/vmware/modules/source/vmnet.tar
cd vmnet-only/
# download du patch
wget https://communities.vmware.com/servlet/JiveServlet/download/2239207-108590/procfs.patch
patch -p1 < procfs.patch
make
cp vmnet.ko /lib/modules/`uname -r`/misc
emacs /etc/vmware/config
# mettre "no" pour le support vmblock
depmod -a
modprobe vmnet
/etc/init.d/vmware restart
# ça doit être OK

[EDIT] Sur le même sujet, mais aussi avec un patch pour vmblock généreusement fourni par la communauté Arch Linux, voir l’article de VirtuallyHelper