Page MenuHomeFreeBSD

arm64/gicv3: Check if the hardware supports LPIs
ClosedPublic

Authored by andrew on Apr 23 2024, 2:58 PM.
Tags
None
Referenced Files
F143108196: D44914.id138344.diff
Mon, Jan 26, 2:06 AM
F143068936: D44914.id.diff
Sun, Jan 25, 3:07 PM
F143026932: D44914.id137552.diff
Sun, Jan 25, 8:53 AM
Unknown Object (File)
Sat, Jan 10, 2:35 PM
Unknown Object (File)
Sat, Dec 27, 8:46 PM
Unknown Object (File)
Sat, Dec 27, 4:59 PM
Unknown Object (File)
Dec 20 2025, 12:48 PM
Unknown Object (File)
Dec 20 2025, 8:40 AM
Subscribers

Details

Summary

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

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Not Applicable
Unit
Tests Not Applicable