HomeFreeBSD

Register each GICv3 ITS driver with a useful cross reference. We currently

Description

Register each GICv3 ITS driver with a useful cross reference. We currently
only use the first driver, however this may change in the future and
hardware exists with multiple ITS devices.

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

Details

Provenance
andrewAuthored on
Parents
rS330488: In the ACPI GICv3 attach function call device_get_children to get the list
Branches
Unknown
Tags
Unknown