HomeFreeBSD

Count the number of GIC redistributors in the ACPI tables. The GICv3 driver

Description

Count the number of GIC redistributors in the ACPI tables. The GICv3 driver
needs this to allocate memory, and connect the CPUs to the interrupt
controller.

Sponsored by: DARPA, AFRL
Sponsored by: Cavium (Hardware)

Details

Provenance
andrewAuthored on
Parents
rS330113: Only check the ProducerConsumer flag on extended memory. As per the ACPI
Branches
Unknown
Tags
Unknown