Page MenuHomeFreeBSD

intr: Support per-IPI devices
Needs ReviewPublic

Authored by andrew on Oct 22 2024, 2:05 PM.
Tags
None
Referenced Files
F171100491: D47236.id.diff
Tue, Sep 8, 5:07 PM
Unknown Object (File)
Mon, Sep 7, 2:24 PM
Unknown Object (File)
Sun, Sep 6, 4:25 AM
Unknown Object (File)
Sat, Sep 5, 10:29 PM
Unknown Object (File)
Fri, Sep 4, 10:31 PM
Unknown Object (File)
Fri, Sep 4, 9:47 PM
Unknown Object (File)
Thu, Sep 3, 4:05 PM
Unknown Object (File)
Thu, Sep 3, 2:08 AM
Subscribers

Details

Reviewers
None
Group Reviewers
arm64
ARM
riscv
Summary

We may wish to override the device used to handle a specific IPI, e.g.
SDEI on arm64 could be used as a non-maskable interrupt to handle
IPI_STOP_HARD.

Support this by adding a KPI to set a per-IPI device. Use the priority
to decide if the per-IPI or global device is selected for each IPI.

Sponsored by: Arm Ltd

Diff Detail

Repository
rG FreeBSD src repository
Lint
Lint Skipped
Unit
Tests Skipped
Build Status
Buildable 60147
Build 57031: arc lint + arc unit