diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/machine.tex | 3 | ||||
| -rw-r--r-- | src/supervisor.tex | 3 |
2 files changed, 4 insertions, 2 deletions
diff --git a/src/machine.tex b/src/machine.tex index c3d51ea..c231534 100644 --- a/src/machine.tex +++ b/src/machine.tex @@ -1385,7 +1385,8 @@ privilege than M-mode; {\tt mideleg}. These conditions for an interrupt trap to occur must be evaluated in a bounded -amount of time from when an interrupt becomes pending in {\tt mip}, and must +amount of time from when an interrupt becomes, or ceases to be, +pending in {\tt mip}, and must also be evaluated immediately following the execution of an {\em x}\/RET instruction or an explicit write to a CSR on which these interrupt trap conditions expressly depend (including {\tt mip}, {\tt mie}, {\tt mstatus}, diff --git a/src/supervisor.tex b/src/supervisor.tex index 4680bae..a192360 100644 --- a/src/supervisor.tex +++ b/src/supervisor.tex @@ -376,7 +376,8 @@ privilege than S-mode; and (b)~bit~\textit{i} is set in both {\tt sip} and {\tt sie}. These conditions for an interrupt trap to occur must be evaluated in a bounded -amount of time from when an interrupt becomes pending in {\tt sip}, and must +amount of time from when an interrupt becomes, or ceases to be, +pending in {\tt sip}, and must also be evaluated immediately following the execution of an SRET instruction or an explicit write to a CSR on which these interrupt trap conditions expressly depend (including {\tt sip}, {\tt sie} and {\tt sstatus}). |