diff options
| author | Palmer Dabbelt <palmer@dabbelt.com> | 2017-11-02 18:48:38 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-11-02 18:48:38 -0700 |
| commit | 3815c611158f435d36121c2c433af664ad86d8ca (patch) | |
| tree | 21fd7e514596ecd126d089b5ecff255bb809d433 /machine/mtrap.c | |
| parent | 220b1bee10d9399864131cd1dbe5037714237f03 (diff) | |
| parent | 27498013ad7684a5f22a99790ac29badea205a3f (diff) | |
| download | pk-3815c611158f435d36121c2c433af664ad86d8ca.zip pk-3815c611158f435d36121c2c433af664ad86d8ca.tar.gz pk-3815c611158f435d36121c2c433af664ad86d8ca.tar.bz2 | |
Merge pull request #67 from riscv/dts2
Detect harts that can't boot Linux instead of hard-coding them
Diffstat (limited to 'machine/mtrap.c')
| -rw-r--r-- | machine/mtrap.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/machine/mtrap.c b/machine/mtrap.c index e5faae3..dba3613 100644 --- a/machine/mtrap.c +++ b/machine/mtrap.c @@ -9,6 +9,7 @@ #include "fdt.h" #include "unprivileged_memory.h" #include "platform_interface.h" +#include "disabled_hart_mask.h" #include <errno.h> #include <stdarg.h> #include <stdio.h> @@ -63,7 +64,7 @@ void printm(const char* s, ...) static void send_ipi(uintptr_t recipient, int event) { - if (((platform__disabled_hart_mask >> recipient) & 1)) return; + if (((disabled_hart_mask >> recipient) & 1)) return; atomic_or(&OTHER_HLS(recipient)->mipi_pending, event); mb(); *OTHER_HLS(recipient)->ipi = 1; |