tdx-common.c 3.4 KB