Symbol: TPMI_YES_NO
usr/src/boot/efi/include/IndustryStandard/Tpm20.h
1137
TPMI_YES_NO safe;
usr/src/boot/efi/include/IndustryStandard/Tpm20.h
1174
TPMI_YES_NO exclusiveSession;