windows-7-sources/Windows/System32/drivers/tdx.sys/3430120.cpp