From a62e76cb16eb508199f74632eb8bf263739f25a3 Mon Sep 17 00:00:00 2001
From: Andrew Waterman <andrew@sifive.com>
Date: Thu, 17 Aug 2017 20:01:42 -0700
Subject: [PATCH] Always order interrupt priority by privilege mode

https://groups.google.com/a/groups.riscv.org/forum/#!topic/isa-dev/_SECLWl8qWk
---
 src/machine.tex          | 4 ++--
 src/riscv-privileged.tex | 6 +++---
 2 files changed, 5 insertions(+), 5 deletions(-)

diff --git a/src/machine.tex b/src/machine.tex
index c7f5b1461..efdedc928 100644
--- a/src/machine.tex
+++ b/src/machine.tex
@@ -1316,8 +1316,8 @@ \subsection{Machine Interrupt Registers ({\tt mip} and {\tt mie})}
 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})}
 
diff --git a/src/riscv-privileged.tex b/src/riscv-privileged.tex
index ba6a1d766..61a730e56 100644
--- a/src/riscv-privileged.tex
+++ b/src/riscv-privileged.tex
@@ -38,9 +38,9 @@
 Christopher Celio, David Chisnall, Anthony Coulter, Palmer Dabbelt, Monte
 Dalrymple, Dennis Ferguson, Mike Frysinger, John Hauser, David Horner, Olof
 Johansson, Yunsup Lee, Andrew Lutomirski, Jonathan Neusch{\"a}fer, Rishiyur
-Nikhil, Stefan O'Rear, Albert Ou, John Ousterhout, David Patterson, Colin
-Schmidt, Wesley Terpstra, Matt Thomas, Tommy Thorn, Ray VanDeWalker, Megan
-Wachs, Andrew Waterman, and Reinoud Zandijk.
+Nikhil, Stefan O'Rear, Albert Ou, John Ousterhout, David Patterson, Dmitri
+Pavlov, Colin Schmidt, Wesley Terpstra, Matt Thomas, Tommy Thorn, Ray
+VanDeWalker, Megan Wachs, Andrew Waterman, and Reinoud Zandijk.
 
 This document is released under a Creative Commons Attribution 4.0
 International License.