Symbol: TPM_PUBKEY
usr/src/boot/efi/include/IndustryStandard/Tpm12.h
1213
TPM_PUBKEY identityPubKey;
usr/src/boot/efi/include/IndustryStandard/Tpm12.h
1238
TPM_PUBKEY identityKey;
usr/src/boot/efi/include/IndustryStandard/Tpm12.h
631
TPM_PUBKEY migrationKey;