usr/src/boot/efi/include/IndustryStandard/Acpi20.h

215

#define EFI_ACPI_2_0_RESET_REG_SUP BIT10

usr/src/boot/efi/include/IndustryStandard/Acpi30.h

244

#define EFI_ACPI_3_0_RESET_REG_SUP BIT10

usr/src/boot/efi/include/IndustryStandard/Acpi40.h

202

#define EFI_ACPI_4_0_RESET_REG_SUP BIT10

usr/src/boot/efi/include/IndustryStandard/Acpi50.h

329

#define EFI_ACPI_5_0_RESET_REG_SUP BIT10

usr/src/boot/efi/include/IndustryStandard/Acpi51.h

219

#define EFI_ACPI_5_1_RESET_REG_SUP BIT10

usr/src/boot/efi/include/IndustryStandard/Acpi60.h

219

#define EFI_ACPI_6_0_RESET_REG_SUP BIT10

usr/src/boot/efi/include/IndustryStandard/Acpi61.h

219

#define EFI_ACPI_6_1_RESET_REG_SUP BIT10

usr/src/boot/efi/include/IndustryStandard/Acpi62.h

316

#define EFI_ACPI_6_2_RESET_REG_SUP BIT10

usr/src/boot/efi/include/IndustryStandard/Acpi63.h

224

#define EFI_ACPI_6_3_RESET_REG_SUP BIT10

usr/src/boot/efi/include/IndustryStandard/Acpi64.h

224

#define EFI_ACPI_6_4_RESET_REG_SUP BIT10

usr/src/boot/efi/include/IndustryStandard/Tpm12.h

1752

#define TPM_DELEGATE_ActivateIdentity (BIT10)

usr/src/boot/efi/include/IndustryStandard/Tpm12.h

1785

#define TPM_KEY_DELEGATE_CMK_CreateBlob (BIT10)