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

(cherry picked from commit 4ab0f5ab3fd6dcd7f76c1ed1c9dc0dcd152fb64f)

Details

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