Re: 2013-06-19T30:03:41.626Z cpu3:86207)WARNING: UserLinux: 1331: unsupported: (void)

Thing basically means that an underlying process has called an unsupported function call. Unless you are seeing an impact, these can be safely ignored. Or alternately you could open a ticket with VMware the snippet is really bothering you