[BSOD] UNEXPECTED_KERNEL_MODE_TRAP – tdx.sys stopcode 0x7f daily on VMware fix

Today I was fortunate again to do a debug, at an environment we had several BSOD/bugcheck errors on a daily basis, sometimes twice a day. This time it was probably caused by: tdx.sys. The stopcode was 0x7f. This time the error occured on a Windows Server 2008 R2 virtual machine hosted by a VMware ESXi 5.5 server, with VMware tools ‘complete’ installed. The problem seems a bit similar to this post and the steps towards a solution are also the same, it’s just about to remove the VMCI driver for VMware vShield Endpoint TDI manager. After removing the VMCI driver, the server hadn’t a BSOD in days.

This can simply be done in the Control Panel of Windows Server.


Click on ‘Uninstall a program’


Select the VMware Tools and click on Change.


Choose for Modify and click Next.


Search for the VMCI Driver and select ‘Entire feature will be unavailable’ for the vShield Drivers. Click Next and confirm the changes to be made and watch the magic happen. After the changes are made a reboot of the guest OS is needed. In the eventviewer you get a bugcheck something like this:

The bugcheck analysis: