Symbol: TPMS_TAGGED_PROPERTY
usr/src/boot/efi/include/IndustryStandard/Tpm20.h
1098
TPMS_TAGGED_PROPERTY tpmProperty[MAX_TPM_PROPERTIES];
usr/src/boot/efi/include/IndustryStandard/Tpm20.h
130
#define MAX_TPM_PROPERTIES (MAX_CAP_DATA / sizeof(TPMS_TAGGED_PROPERTY))