From 794bded3fd4450b3859caa069bbb96e51e42fee6 Mon Sep 17 00:00:00 2001 From: Eliza Weisman Date: Wed, 15 Jan 2025 10:15:42 -0800 Subject: [PATCH] reword things as suggested by @mkeeter --- doc/kipc.adoc | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/doc/kipc.adoc b/doc/kipc.adoc index 13eb875c2..a38ce4e0a 100644 --- a/doc/kipc.adoc +++ b/doc/kipc.adoc @@ -329,7 +329,9 @@ type SoftwareIrqResponse = (); This interface is primarily intended for testing interrupt handling, and can only be called by a task running as the supervisor. When this KIPC is called, -an actual machine interrupt is triggered and dispatched by the kernel to the +an actual machine interrupt is triggered for the relevant hardware interrupt +source. The kernel then responds to the interrupt using its normal +interrupt-handling infrastructure, which dispatches a notification to the subscribed task. This KIPC is *not* intended for use as a general-purpose inter-task signalling