Page MenuHomeFreeBSD
Differential D44914

arm64/gicv3: Check if the hardware supports LPIs
ClosedPublic
Actions

Authored by andrew on Apr 23 2024, 2:58 PM.
Tags
None
Referenced Files
Unknown Object (File)
Sat, Dec 27, 8:46 PM
Unknown Object (File)
Sat, Dec 27, 4:59 PM
Unknown Object (File)
Sat, Dec 20, 12:48 PM
Unknown Object (File)
Sat, Dec 20, 8:40 AM
Unknown Object (File)
Nov 27 2025, 4:44 PM
Unknown Object (File)
Nov 27 2025, 6:32 AM
Unknown Object (File)
Nov 26 2025, 3:41 PM
Unknown Object (File)
Nov 25 2025, 5:39 AM
View All Files
Subscribers
emaste
imp

Details

Reviewers
manu
Group Reviewers
arm64
Commits
rG2f54bff74a4b: arm64/gicv3: Check if the hardware supports LPIs
rGd7385a251abf: arm64/gicv3: Check if the hardware supports LPIs
rG4ab0f5ab3fd6: arm64/gicv3: Check if the hardware supports LPIs
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 Skipped
Unit
Tests Skipped
Build Status
Buildable 57301
Build 54189: arc lint + arc unit

Revision Contents
Changeset List

PathSize
sys/
arm64/
arm64/
4 lines
2 lines
6 lines

Diff 137552

View Options

sys/arm64/arm64/gic_v3.c

Loading...
View Options

sys/arm64/arm64/gic_v3_var.h

Loading...
View Options

sys/arm64/arm64/gicv3_its.c

Loading...