diff options
author | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-05-03 18:49:46 -0700 |
---|---|---|
committer | Andrew Waterman <waterman@cs.berkeley.edu> | 2016-05-03 18:49:46 -0700 |
commit | ee610c0ff858b73b01a3e54d14e640fe08de092d (patch) | |
tree | 06cd2bce7165273e20cd39d1117c162805b6aa63 /machine/mtrap.c | |
parent | 2001632142a11d9a940eee7e3bfbe7c0186fe6ce (diff) | |
download | riscv-pk-ee610c0ff858b73b01a3e54d14e640fe08de092d.zip riscv-pk-ee610c0ff858b73b01a3e54d14e640fe08de092d.tar.gz riscv-pk-ee610c0ff858b73b01a3e54d14e640fe08de092d.tar.bz2 |
Find IPI address in configuration string
Diffstat (limited to 'machine/mtrap.c')
-rw-r--r-- | machine/mtrap.c | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/machine/mtrap.c b/machine/mtrap.c index 15ecf8f..5c835cb 100644 --- a/machine/mtrap.c +++ b/machine/mtrap.c @@ -96,8 +96,7 @@ static void send_ipi(uintptr_t recipient, int event) { if ((atomic_or(&OTHER_HLS(recipient)->mipi_pending, event) & event) == 0) { mb(); - if (recipient != read_const_csr(mhartid)) - assert(!"IPIs temporarily missing"); + *OTHER_HLS(recipient)->ipi = 1; } } |