Symbol: TPMI_ALG_PUBLIC
usr/src/boot/efi/include/IndustryStandard/Tpm20.h
1608
TPMI_ALG_PUBLIC type;
usr/src/boot/efi/include/IndustryStandard/Tpm20.h
1614
TPMI_ALG_PUBLIC type;
usr/src/boot/efi/include/IndustryStandard/Tpm20.h
1645
TPMI_ALG_PUBLIC sensitiveType;