TDX_CPUID_LEAF_ID
cpuid_count(TDX_CPUID_LEAF_ID, 0, &eax,
cpuid_count(TDX_CPUID_LEAF_ID, 0, &eax, &sig[0], &sig[2], &sig[1]);