aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--src/plic.tex7
1 files changed, 4 insertions, 3 deletions
diff --git a/src/plic.tex b/src/plic.tex
index ebc3cf1..f976e49 100644
--- a/src/plic.tex
+++ b/src/plic.tex
@@ -99,9 +99,10 @@ support delegating external interrupts to lower-privilege modes, then
the lower-privilege hart contexts will not be interrupt targets.
Interrupt notifications generated by the PLIC appear in the {\tt
meip}/{\tt seip}/{\tt ueip} bits of the {\tt mip}/{\tt sip}/{\tt
- uip} registers for M/S/U modes respectively. The notifications
-only appear in lower-privilege {\em x}{\tt ip} registers if external
-interrupts have been delegated to the lower-privilege modes.
+ uip} registers for M/S/U modes, respectively. For the notifications
+to appear in lower-privilege {\em x}{\tt ip} registers, the corresponding
+external interrupts must have been delegated in the higher-privilege
+{\em y}{\tt ideleg} registers.
Each processor core must define a policy on how simultaneous active
interrupts are taken by multiple hart contexts on the core. For the