diff options
| author | Atish Patra <atish.patra@wdc.com> | 2018-12-21 22:29:28 +0300 |
|---|---|---|
| committer | Atish Patra <atish.patra@wdc.com> | 2018-12-22 09:11:21 +0300 |
| commit | 88b173b33b0810fbeff91ee589073efb9099a904 (patch) | |
| tree | 468d39a310348468d559460bcc2a6fae0d1f69cc /lib/sbi_ipi.c | |
| parent | a6a5bb22a8c97f6191a0271f3dfe529038161675 (diff) | |
| download | opensbi-88b173b33b0810fbeff91ee589073efb9099a904.tar.xz | |
Introduce hart disabled parameter in platform.
As of now, uboot doesn't have support for SMP.
Moreover, unleashed board has a E51 hart which
doesn't not support S mode.
We should only boot only 1 non-zero hart.
Signed-off-by: Atish Patra <atish.patra@wdc.com>
Diffstat (limited to 'lib/sbi_ipi.c')
| -rw-r--r-- | lib/sbi_ipi.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/sbi_ipi.c b/lib/sbi_ipi.c index f3e68de..d21ea4a 100644 --- a/lib/sbi_ipi.c +++ b/lib/sbi_ipi.c @@ -28,7 +28,7 @@ int sbi_ipi_send_many(struct sbi_scratch *scratch, /* send IPIs to everyone */ for (i = 0, m = mask; m; i++, m >>= 1) { - if ((m & 1) && (i != hartid)) { + if ((m & 1) && (i != hartid) && !sbi_platform_hart_disabled(plat, hartid)) { oth = sbi_hart_id_to_scratch(scratch, i); oth->ipi_type = event; mb(); |