aboutsummaryrefslogtreecommitdiff
path: root/src/machine.tex
diff options
context:
space:
mode:
Diffstat (limited to 'src/machine.tex')
-rw-r--r--src/machine.tex8
1 files changed, 4 insertions, 4 deletions
diff --git a/src/machine.tex b/src/machine.tex
index 438f75a..e44c0af 100644
--- a/src/machine.tex
+++ b/src/machine.tex
@@ -1388,13 +1388,13 @@ Synchronous exceptions are of lower priority than all interrupts.
The machine-level interrupt fixed-priority ordering rules were developed
with the following rationale.
- The platform-specific machine-level interrupt sources in bits 16 and
- above have the highest service priority to support very fast local
- vectored interrupts.
-
Interrupts for higher privilege modes must be serviced before
interrupts for lower privilege modes to support pre-emption.
+ The platform-specific machine-level interrupt sources in bits 16 and above
+ have platform-specific priority, but are typically chosen to have the
+ highest service priority to support very fast local vectored interrupts.
+
External interrupts are handled before internal (timer/software)
interrupts as external interrupts are usually generated by devices
that might require low interrupt service times.