![]() |
coreboot
coreboot is an Open Source project aimed at replacing the proprietary BIOS found in most computers.
|
#include <Base.h>
#include <Uefi/UefiBaseType.h>
#include <Guid/StatusCodeDataTypeId.h>
#include <Pi/PiPeiCis.h>
#include <Pi/PiStatusCode.h>
#include <Protocol/MpService.h>
Go to the source code of this file.
Typedefs | |
typedef EFI_PEI_SERVICES | efi_pei_services |
typedef EFI_PROCESSOR_INFORMATION | efi_processor_information |
typedef EFI_STATUS_CODE_TYPE | efi_status_code_type_t |
typedef EFI_STATUS_CODE_VALUE | efi_status_code_value_t |
typedef EFI_STATUS_CODE_DATA | efi_status_code_data_t |
typedef EFI_STATUS_CODE_STRING_DATA | efi_status_code_string_data |
typedef UINT64 | efi_uint64_t |
typedef INT64 | efi_int64_t |
typedef UINT32 | efi_uint32_t |
typedef INT32 | efi_int32_t |
typedef UINT16 | efi_uint16_t |
typedef CHAR16 | efi_char16_t |
typedef INT16 | efi_int16_t |
typedef BOOLEAN | efi_boolean_t |
typedef UINT8 | efi_uint8_t |
typedef CHAR8 | efi_char8_t |
typedef INT8 | efi_int8_t |
typedef UINTN | efi_uintn_t |
typedef INTN | efi_intn_t |
typedef EFI_STATUS | efi_return_status_t |
typedef EFI_PHYSICAL_ADDRESS | efi_physical_address |
typedef EFI_GUID | efi_guid_t |
typedef void(EFIAPI * | efi_ap_procedure) (void *buffer) |
Definition at line 68 of file efi_datatype.h.
typedef BOOLEAN efi_boolean_t |
Definition at line 45 of file efi_datatype.h.
typedef CHAR16 efi_char16_t |
Definition at line 41 of file efi_datatype.h.
typedef CHAR8 efi_char8_t |
Definition at line 49 of file efi_datatype.h.
typedef EFI_GUID efi_guid_t |
Definition at line 61 of file efi_datatype.h.
typedef INT16 efi_int16_t |
Definition at line 43 of file efi_datatype.h.
typedef INT32 efi_int32_t |
Definition at line 37 of file efi_datatype.h.
typedef INT64 efi_int64_t |
Definition at line 33 of file efi_datatype.h.
typedef INT8 efi_int8_t |
Definition at line 51 of file efi_datatype.h.
typedef INTN efi_intn_t |
Definition at line 55 of file efi_datatype.h.
typedef EFI_PEI_SERVICES efi_pei_services |
Definition at line 16 of file efi_datatype.h.
typedef EFI_PHYSICAL_ADDRESS efi_physical_address |
Definition at line 59 of file efi_datatype.h.
typedef EFI_PROCESSOR_INFORMATION efi_processor_information |
Definition at line 18 of file efi_datatype.h.
typedef EFI_STATUS efi_return_status_t |
Definition at line 57 of file efi_datatype.h.
typedef EFI_STATUS_CODE_DATA efi_status_code_data_t |
Definition at line 24 of file efi_datatype.h.
typedef EFI_STATUS_CODE_STRING_DATA efi_status_code_string_data |
Definition at line 26 of file efi_datatype.h.
typedef EFI_STATUS_CODE_TYPE efi_status_code_type_t |
Definition at line 20 of file efi_datatype.h.
typedef EFI_STATUS_CODE_VALUE efi_status_code_value_t |
Definition at line 22 of file efi_datatype.h.
typedef UINT16 efi_uint16_t |
Definition at line 39 of file efi_datatype.h.
typedef UINT32 efi_uint32_t |
Definition at line 35 of file efi_datatype.h.
typedef UINT64 efi_uint64_t |
Definition at line 31 of file efi_datatype.h.
typedef UINT8 efi_uint8_t |
Definition at line 47 of file efi_datatype.h.
typedef UINTN efi_uintn_t |
Definition at line 53 of file efi_datatype.h.