intr: Support per-IPI devices
Needs ReviewPublic
Actions

Authored by andrew on Oct 22 2024, 2:05 PM.

Tags

None

Referenced Files

	F151555474: D47236.diff
	Thu, Apr 9, 4:19 AM

	Unknown Object (File)
	Thu, Mar 19, 4:49 PM

	Unknown Object (File)
	Thu, Mar 19, 4:52 AM

	Unknown Object (File)
	Tue, Mar 17, 4:02 PM

	Unknown Object (File)
	Mar 2 2026, 8:43 PM

	Unknown Object (File)
	Mar 2 2026, 12:21 AM

	Unknown Object (File)
	Feb 22 2026, 11:17 PM

	Unknown Object (File)
	Jan 16 2026, 8:08 AM

View All 66 Files

Subscribers

imp

olce

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.

Diff Detail

Repository

rG FreeBSD src repository

Lint

Lint Skipped

Unit

Tests Skipped

Build Status

Buildable 60147
Build 57031: arc lint + arc unit

Event Timeline

andrew created this revision.Oct 22 2024, 2:05 PM

Herald added subscribers: olce, imp. · View Herald TranscriptOct 22 2024, 2:05 PM

andrew requested review of this revision.Oct 22 2024, 2:05 PM

Harbormaster completed remote builds in B60147: Diff 145346.Oct 22 2024, 2:05 PM

andrew added a parent revision: D47235: intrng: Store the IPI priority.Oct 22 2024, 2:05 PM

Revision Contents
Changeset List

Path

Size

sys/

kern/

subr_intr.c

49 lines

sys/

intr.h

1 line

Diff 145346

View Options

sys/kern/subr_intr.c