tdx-common.c revision 83d290c5
1