Symbol: TPM_COUNTER_VALUE
usr/src/boot/efi/include/IndustryStandard/Tpm12.h
1344
TPM_COUNTER_VALUE auditCount;
usr/src/boot/efi/include/IndustryStandard/Tpm12.h
1354
TPM_COUNTER_VALUE auditCount;