aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorAndreas Kuster <20418060+andreaskuster@users.noreply.github.com>2021-11-22 23:38:07 +0100
committerGitHub <noreply@github.com>2021-11-22 14:38:07 -0800
commit4ae5a8876fc2c31776b1777405ab14f764cc0f36 (patch)
treed044ce4e8cfd3f8bdec0a6ee97d9d2b88f172ccf
parentb7ee9734776123c34a8c0d37fa981169521614ad (diff)
downloadpk-4ae5a8876fc2c31776b1777405ab14f764cc0f36.zip
pk-4ae5a8876fc2c31776b1777405ab14f764cc0f36.tar.gz
pk-4ae5a8876fc2c31776b1777405ab14f764cc0f36.tar.bz2
Reduce tightness of mideleg register assertion (required for H-extension) (#256)
-rw-r--r--machine/minit.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/machine/minit.c b/machine/minit.c
index 8e3bdb9..e6677e9 100644
--- a/machine/minit.c
+++ b/machine/minit.c
@@ -82,7 +82,7 @@ static void delegate_traps()
write_csr(mideleg, interrupts);
write_csr(medeleg, exceptions);
- assert(read_csr(mideleg) == interrupts);
+ assert((read_csr(mideleg) & interrupts) == interrupts);
assert(read_csr(medeleg) == exceptions);
}