aboutsummaryrefslogtreecommitdiff
path: root/src/machine.tex
diff options
context:
space:
mode:
Diffstat (limited to 'src/machine.tex')
-rw-r--r--src/machine.tex4
1 files changed, 2 insertions, 2 deletions
diff --git a/src/machine.tex b/src/machine.tex
index c7f5b14..efdedc9 100644
--- a/src/machine.tex
+++ b/src/machine.tex
@@ -1316,8 +1316,8 @@ privilege mode is less than the delegated privilege mode.
Multiple simultaneous interrupts destined for different privilege modes are
handled in decreasing order of destined privilege mode. Multiple simultaneous
interrupts destined for the same privilege mode are handled in the following
-decreasing priority order: MEI, SEI, UEI, MSI, SSI, USI, MTI, STI,
-UTI. Synchronous exceptions are of lower priority than all interrupts.
+decreasing priority order: MEI, MSI, MTI, SEI, SSI, STI, UEI, USI, UTI.
+Synchronous exceptions are of lower priority than all interrupts.
\subsection{Machine Timer Registers ({\tt mtime} and {\tt mtimecmp})}