Symbol: TPMA_SESSION
usr/src/boot/efi/include/IndustryStandard/Tpm20.h
1226
TPMA_SESSION sessionAttributes;
usr/src/boot/efi/include/IndustryStandard/Tpm20.h
1233
TPMA_SESSION sessionAttributes;