Advanced Configuration and Power Interface Specification

Advanced Configuration and Power Interface Specification
Field
ACPI Processor
UID
4 8 The OS associates this GICC Structure with a processor device
object in the namespace when the _UID child object of the
processor device evaluates to a numeric value that matches the
numeric value in this field.
Flags 4 12 See Table 5-62.
Parking Protocol
Version
4 16 Version of the ARM-Processor Parking Protocol implemented. See
http://uefi.org/acpi. The document link is listed under
"Multiprocessor Startup for ARM Platforms"
For systems that support PSCI exclusively and do not support the
parking protocol, this field must be set to 0.
Performance 4 20 The GSIV used for Performance Monitoring Interrupts
Interrupt GSIV
Parked Address 8 24 The 64-bit physical address of the processor’s Parking Protocol
mailbox
Physical Base
Address
8 32 On GICv1/v2 systems and GICv3/4 systems in GICv2 compatibility
mode, this field holds the 64-bit physical address at which the
processor can access this GIC CPU Interface. If provided here, the
"Local Interrupt Controller Address" field in the MADT must be
ignored by the OSPM.
GICV 8 40 Address of the GIC virtual CPU interface registers. If the platform is
not presenting a GICv2 with virtualization extensions this field can
be 0.
GICH 8 48 Address of the GIC virtual interface control block registers. If the
platform is not presenting a GICv2 with virtualization extensions
this field can be 0.
VGIC
Maintenance
interrupt
4 56 GSIV for Virtual GIC maintenance interrupt
GICR Base
Address
Byte
Length
Byte
Offset
Description
8 60 On systems supporting GICv3 and above, this field holds the 64-bit
physical address of the associated Redistributor. If all of the GIC
Redistributors are in the always-on power domain, GICR structures
should be used to describe the Redistributors instead, and this field
must be set to 0.
150 April, 2015 Version 6.0