Searched refs:BIT31 (Results 1 - 10 of 10) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Bus/Ata/AtaAtapiPassThru/
H A DAhciMode.h21 #define EFI_AHCI_CAP_S64A BIT31
25 #define EFI_AHCI_GHC_ENABLE BIT31
111 #define EFI_AHCI_PORT_IS_CPDS BIT31
135 #define EFI_AHCI_PORT_CMD_ICC_MASK (BIT28 | BIT29 | BIT30 | BIT31)
H A DAhciMode.c1927 Support64Bit = (BOOLEAN) (((Capability & BIT31) != 0) ? TRUE : FALSE);
/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Universal/MonotonicCounterRuntimeDxe/
H A DMonotonicCounter.c94 if ((((UINT32) mEfiMtc) ^ ((UINT32) *Count)) & BIT31) {
/vbox/src/VBox/Devices/EFI/Firmware/BaseTools/Source/C/Include/Common/
H A DBaseTypes.h254 #define BIT31 0x80000000 macro
/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/IndustryStandard/
H A DPeImage.h326 #define EFI_IMAGE_SCN_MEM_WRITE BIT31 ///< 0x80000000
586 #define EFI_IMAGE_ORDINAL_FLAG BIT31 ///< Flag for PE32.
H A DTpm12.h686 #define TPM_CMK_DELEGATE_SIGNING ((TPM_CMK_DELEGATE) BIT31)
1693 #define TPM_NV_PER_READ_STCLEAR (BIT31)
/vbox/src/VBox/Devices/PC/ipxe/src/include/ipxe/efi/IndustryStandard/
H A DPeImage.h328 #define EFI_IMAGE_SCN_MEM_WRITE BIT31 ///< 0x80000000
588 #define EFI_IMAGE_ORDINAL_FLAG BIT31 ///< Flag for PE32.
/vbox/src/VBox/Devices/EFI/Firmware/MdePkg/Include/
H A DBase.h241 #define BIT31 0x80000000 macro
/vbox/src/VBox/Devices/PC/ipxe/src/include/ipxe/efi/
H A DBase.h243 #define BIT31 0x80000000 macro
/vbox/src/VBox/Devices/PC/ipxe/src/drivers/net/
H A Dwlan_compat.h227 #define BIT31 0x80000000 macro

Completed in 803 milliseconds