|
TianoCore EDK2 master
|
#include <MdePkg/Include/IndustryStandard/Acpi60.h>
Data Fields | |
| EFI_ACPI_6_0_FPDT_PERFORMANCE_RECORD_HEADER | Header |
| UINT32 | Reserved |
| UINT64 | BootPerformanceTablePointer |
FPDT Firmware Basic Boot Performance Pointer Record Structure
| UINT64 EFI_ACPI_6_0_FPDT_BOOT_PERFORMANCE_TABLE_POINTER_RECORD::BootPerformanceTablePointer |
| EFI_ACPI_6_0_FPDT_PERFORMANCE_RECORD_HEADER EFI_ACPI_6_0_FPDT_BOOT_PERFORMANCE_TABLE_POINTER_RECORD::Header |
| UINT32 EFI_ACPI_6_0_FPDT_BOOT_PERFORMANCE_TABLE_POINTER_RECORD::Reserved |