diff options
author | Andrew Waterman <andrew@sifive.com> | 2019-03-27 23:06:05 -0700 |
---|---|---|
committer | Andrew Waterman <andrew@sifive.com> | 2019-03-27 23:06:05 -0700 |
commit | 496c59d064961bb81e63e2bba1bdadd4abf05a52 (patch) | |
tree | 19bbefa4f3b7daad6144bf8fb5479a6dc72c8b2f /spike_main/spike.cc | |
parent | c01631de5027b211a374a01cbbd046a11926df0e (diff) | |
download | spike-496c59d064961bb81e63e2bba1bdadd4abf05a52.zip spike-496c59d064961bb81e63e2bba1bdadd4abf05a52.tar.gz spike-496c59d064961bb81e63e2bba1bdadd4abf05a52.tar.bz2 |
Respect interrupt priorities even when not delegated
The spec says that e.g. MEI takes priority over SEI. We got this right in
the common case that SEI is delegated to S-mode, but we reversed it in the
undelegated case.
The destination privilege was correct, so this wasn't much of a problem,
but it is technically noncompliant.
Resolves #288
Diffstat (limited to 'spike_main/spike.cc')
0 files changed, 0 insertions, 0 deletions