Copyright by VMWare. Header files used for build, not redistributable.
See:
https://communities.vmware.com/viewwebdoc.jspa?documentID=DOC-10141
