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)
Sun, Feb 8, 4:45 AM
Unknown Object (File)
Sat, Feb 7, 4:22 PM
Unknown Object (File)
Sat, Jan 31, 11:43 AM
Unknown Object (File)
Wed, Jan 28, 7:06 AM
Unknown Object (File)
Mon, Jan 26, 2:06 AM
Unknown Object (File)
Sun, Jan 25, 3:07 PM
Unknown Object (File)
Sun, Jan 25, 8:53 AM
Unknown Object (File)
Jan 10 2026, 2:35 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