tdx.c revision 122333d6
1