Symbol: TPMS_ECC_POINT
usr/src/boot/efi/include/IndustryStandard/Tpm20.h
1476
TPMS_ECC_POINT point;
usr/src/boot/efi/include/IndustryStandard/Tpm20.h
1545
BYTE ecc[sizeof (TPMS_ECC_POINT)];
usr/src/boot/efi/include/IndustryStandard/Tpm20.h
1567
TPMS_ECC_POINT ecc;