struct AcpiMadtGicRedistributor

Defined at line 285 of file ../../src/firmware/gigaboot/cpp/acpi.h

Public Members

InterruptControllerHeader hdr

uint16_t reserved

uint64_t discovery_range_base_address

uint32_t discovery_range_length

static const uint8_t kType