| /* |
| * Copyright (c) 2024, Arm Limited and Contributors. All rights reserved. |
| * |
| * SPDX-License-Identifier: BSD-3-Clause |
| */ |
| |
| #ifndef EFI_TYPES_H |
| #define EFI_TYPES_H |
| |
| #include <lib/libc/uuid.h> |
| #include <stdint.h> |
| |
| typedef uint64_t efi_physical_address_t; |
| |
| /***************************************************************************** |
| * EFI_BOOT_MODE * |
| *****************************************************************************/ |
| |
| typedef uint32_t efi_boot_mode_t; |
| /** |
| * EFI boot mode. |
| */ |
| #define EFI_BOOT_WITH_FULL_CONFIGURATION U(0x00) |
| #define EFI_BOOT_WITH_MINIMAL_CONFIGURATION U(0x01) |
| #define EFI_BOOT_ASSUMING_NO_CONFIGURATION_CHANGES U(0x02) |
| #define EFI_BOOT_WITH_FULL_CONFIGURATION_PLUS_DIAGNOSTICS U(0x03) |
| #define EFI_BOOT_WITH_DEFAULT_SETTINGS U(0x04) |
| #define EFI_BOOT_ON_S4_RESUME U(0x05) |
| #define EFI_BOOT_ON_S5_RESUME U(0x06) |
| #define EFI_BOOT_WITH_MFG_MODE_SETTINGS U(0x07) |
| #define EFI_BOOT_ON_S2_RESUME U(0x10) |
| #define EFI_BOOT_ON_S3_RESUME U(0x11) |
| #define EFI_BOOT_ON_FLASH_UPDATE U(0x12) |
| #define EFI_BOOT_IN_RECOVERY_MODE U(0x20) |
| |
| /***************************************************************************** |
| * EFI_RESOURCE_TYPE * |
| *****************************************************************************/ |
| |
| typedef uint32_t efi_resource_type_t; |
| |
| /** |
| * Value of EFI_RESOURCE_TYPE used in EFI_HOB_RESOURCE_DESCRIPTOR. |
| */ |
| #define EFI_RESOURCE_SYSTEM_MEMORY U(0x00000000) |
| #define EFI_RESOURCE_MEMORY_MAPPED_IO U(0x00000001) |
| #define EFI_RESOURCE_IO U(0x00000002) |
| #define EFI_RESOURCE_FIRMWARE_DEVICE U(0x00000003) |
| #define EFI_RESOURCE_MEMORY_MAPPED_IO_PORT U(0x00000004) |
| #define EFI_RESOURCE_MEMORY_RESERVED U(0x00000005) |
| #define EFI_RESOURCE_IO_RESERVED U(0x00000006) |
| |
| /***************************************************************************** |
| * EFI_RESOURCE_ATTRIBUTE_TYPE * |
| *****************************************************************************/ |
| |
| typedef uint32_t efi_resource_attribute_type_t; |
| |
| #define EFI_RESOURCE_ATTRIBUTE_PRESENT U(0x00000001) |
| #define EFI_RESOURCE_ATTRIBUTE_INITIALIZED U(0x00000002) |
| #define EFI_RESOURCE_ATTRIBUTE_TESTED U(0x00000004) |
| #define EFI_RESOURCE_ATTRIBUTE_READ_PROTECTED U(0x00000080) |
| #define EFI_RESOURCE_ATTRIBUTE_WRITE_PROTECTED U(0x00000100) |
| #define EFI_RESOURCE_ATTRIBUTE_EXECUTION_PROTECTED U(0x00000200) |
| #define EFI_RESOURCE_ATTRIBUTE_PERSISTENT U(0x00800000) |
| #define EFI_RESOURCE_ATTRIBUTE_SINGLE_BIT_ECC U(0x00000008) |
| #define EFI_RESOURCE_ATTRIBUTE_MULTIPLE_BIT_ECC U(0x00000010) |
| #define EFI_RESOURCE_ATTRIBUTE_ECC_RESERVED_1 U(0x00000020) |
| #define EFI_RESOURCE_ATTRIBUTE_ECC_RESERVED_2 U(0x00000040) |
| #define EFI_RESOURCE_ATTRIBUTE_UNCACHEABLE U(0x00000400) |
| #define EFI_RESOURCE_ATTRIBUTE_WRITE_COMBINEABLE U(0x00000800) |
| #define EFI_RESOURCE_ATTRIBUTE_WRITE_THROUGH_CACHEABLE U(0x00001000) |
| #define EFI_RESOURCE_ATTRIBUTE_WRITE_BACK_CACHEABLE U(0x00002000) |
| #define EFI_RESOURCE_ATTRIBUTE_16_BIT_IO U(0x00004000) |
| #define EFI_RESOURCE_ATTRIBUTE_32_BIT_IO U(0x00008000) |
| #define EFI_RESOURCE_ATTRIBUTE_64_BIT_IO U(0x00010000) |
| #define EFI_RESOURCE_ATTRIBUTE_UNCACHED_EXPORTED U(0x00020000) |
| #define EFI_RESOURCE_ATTRIBUTE_READ_PROTECTABLE U(0x00100000) |
| #define EFI_RESOURCE_ATTRIBUTE_WRITE_PROTECTABLE U(0x00200000) |
| #define EFI_RESOURCE_ATTRIBUTE_EXECUTION_PROTECTABLE U(0x00400000) |
| #define EFI_RESOURCE_ATTRIBUTE_PERSISTABLE U(0x01000000) |
| #define EFI_RESOURCE_ATTRIBUTE_READ_ONLY_PROTECTED U(0x00040000) |
| #define EFI_RESOURCE_ATTRIBUTE_READ_ONLY_PROTECTABLE U(0x00080000) |
| #define EFI_RESOURCE_ATTRIBUTE_MORE_RELIABLE U(0x02000000) |
| |
| #endif /* EFI_TYPES_H */ |