iPXE
|
GIC Distributor Structure. More...
#include <Acpi60.h>
Data Fields | |
UINT8 | Type |
UINT8 | Length |
UINT16 | Reserved1 |
UINT32 | GicId |
UINT64 | PhysicalBaseAddress |
UINT32 | SystemVectorBase |
UINT8 | GicVersion |
UINT8 | Reserved2 [3] |
UINT64 EFI_ACPI_6_0_GIC_DISTRIBUTOR_STRUCTURE::PhysicalBaseAddress |
UINT32 EFI_ACPI_6_0_GIC_DISTRIBUTOR_STRUCTURE::SystemVectorBase |