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
Unknown Object (File)
Tue, Jan 7, 12:56 PM
Unknown Object (File)
Wed, Dec 18, 8:48 PM
Unknown Object (File)
Nov 25 2024, 6:09 AM
Unknown Object (File)
Nov 23 2024, 6:10 PM
Unknown Object (File)
Nov 23 2024, 10:24 AM
Unknown Object (File)
Nov 21 2024, 2:41 AM
Unknown Object (File)
Nov 18 2024, 9:50 PM
Unknown Object (File)
Nov 5 2024, 7:03 PM
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