iPXE
|
GIC Distributor Structure. More...
#include <Acpi50.h>
Data Fields | |
UINT8 | Type |
UINT8 | Length |
UINT16 | Reserved1 |
UINT32 | GicId |
UINT64 | PhysicalBaseAddress |
UINT32 | SystemVectorBase |
UINT32 | Reserved2 |
UINT64 EFI_ACPI_5_0_GIC_DISTRIBUTOR_STRUCTURE::PhysicalBaseAddress |
UINT32 EFI_ACPI_5_0_GIC_DISTRIBUTOR_STRUCTURE::SystemVectorBase |