projects / platform / kernel / opensbi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3d2aaac) | patch
lib: Introduce sbi_ipi_send_halt() API
authorAnup Patel <anup.patel@wdc.com>
Wed, 15 Jan 2020 05:46:54 +0000 (11:16 +0530)
committerAnup Patel <anup@brainfault.org>
Wed, 22 Jan 2020 06:40:37 +0000 (12:10 +0530)
commitda9b76b957dae1cf59272cc0f351ae425351c3c8
tree69d0eb671608a15a3d5a8960ff25b868053844aetree | snapshot
parent3d2aaac69a967ff1986f57862c4048d42acfe1eccommit | diff
lib: Introduce sbi_ipi_send_halt() API

Instead of directly calling sbi_ipi_send_many(), we introduce
sbi_ipi_send_halt() for halting a set of HARTs.

This way in future we can assign any IPI event number for HART
halting within sbi_ipi.c only.

Signed-off-by: Anup Patel <anup.patel@wdc.com>
Reviewed-by: Atish Patra <atish.patra@wdc.com>
include/sbi/sbi_ipi.h diff | blob | history
lib/sbi/sbi_ipi.c diff | blob | history
lib/sbi/sbi_system.c diff | blob | history
Domain: System / Kernel;