Thanks to dominator008, this is a link to information and patches for VMware 9.0.2 with Kernel 3.12.:
http://dominator008.com/constructionyard/2013/10/03/vmware-9-0-2-vmblock-patch-for-linux-kernel-3-12/

As I have already updated to VMware 10.0, I have not been able to test these myself, but as you will see, they have been tested by the author..

Robert Gadsdon.   October 17, 2013