HomeFreeBSD

arm64/gicv3: Check if the hardware supports LPIs

Description

arm64/gicv3: Check if the hardware supports LPIs

Some simulators have the ITS in the DTB passed to the kernel, however
it is a runtime configuration option to enable it.

Check the GICD_TYPER register to see if LPIs are enabled before
attaching the ITS driver.

Sponsored by: Arm Ltd
Differential Revision: https://reviews.freebsd.org/D44914

Details

Provenance
andrewAuthored on Apr 23 2024, 11:28 AM
Differential Revision
D44914: arm64/gicv3: Check if the hardware supports LPIs
Parents
rGf91e9401c209: dev/psci: Check all compat strings
Branches
Unknown
Tags
Unknown