tdx.c revision 32e72854
1