■

Ubuntu 13.04にしたらvmware playerが動かなくなった。

この情報で解決できました。
http://b0ner.go-th.net/ubuntu/vmware-error-when-kernel-upgrade

５月９日追記
別のコンピュータで同じ事をしてみたけどうまくいかなかった。
ここ（http://communities.vmware.com/message/2182440#2182440）あるパッチを貼ったらうまくいった。まとめると、スーパーユーザの権限で

ln -s /usr/src/linux-headers-`uname -r`/include/generated/uapi/linux/version.h /usr/src/linux-headers-`uname -r`/include/linux/version.h
cd /usr/lib/vmware/modules/source
tar -xf vmci.tar
cd vmci-only
patch -p1 < 'patchfile'
cd ..
tar -cf vmci.tar vmci-only/
vmware-modconfig --console --install-all