Symbol: BIT31
usr/src/boot/efi/include/IndustryStandard/PeImage.h
324
#define EFI_IMAGE_SCN_MEM_WRITE BIT31 ///< 0x80000000
usr/src/boot/efi/include/IndustryStandard/PeImage.h
590
#define EFI_IMAGE_ORDINAL_FLAG BIT31 ///< Flag for PE32.
usr/src/boot/efi/include/IndustryStandard/Tpm12.h
1686
#define TPM_NV_PER_READ_STCLEAR (BIT31)
usr/src/boot/efi/include/IndustryStandard/Tpm12.h
678
#define TPM_CMK_DELEGATE_SIGNING ((TPM_CMK_DELEGATE) BIT31)