diff options
| author | Anup Patel <anup.patel@wdc.com> | 2020-01-15 09:12:51 +0300 |
|---|---|---|
| committer | Anup Patel <anup@brainfault.org> | 2020-01-22 09:40:40 +0300 |
| commit | a8b4b83b7fef84b0491f5a897651a30f98d75a9a (patch) | |
| tree | 66ce28ccd2f74daeb90e5fb9f3c8396e3be913b7 /include/sbi/sbi_scratch.h | |
| parent | da9b76b957dae1cf59272cc0f351ae425351c3c8 (diff) | |
| download | opensbi-a8b4b83b7fef84b0491f5a897651a30f98d75a9a.tar.xz | |
lib: Introduce sbi_tlb_fifo_request() API
Instead of directly calling sbi_ipi_send_many(), we introduce
sbi_tlb_fifo_request() for halting a set of HARTs.
This way in future we can assign any IPI event number for remote
FENCE within sbi_tlb.c only.
Signed-off-by: Anup Patel <anup.patel@wdc.com>
Reviewed-by: Atish Patra <atish.patra@wdc.com>
Diffstat (limited to 'include/sbi/sbi_scratch.h')
| -rw-r--r-- | include/sbi/sbi_scratch.h | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/include/sbi/sbi_scratch.h b/include/sbi/sbi_scratch.h index 2e6fd5a..d70c80d 100644 --- a/include/sbi/sbi_scratch.h +++ b/include/sbi/sbi_scratch.h @@ -44,7 +44,6 @@ #ifndef __ASSEMBLY__ #include <sbi/sbi_types.h> -#include <sbi/sbi_ipi.h> /** Representation of per-HART scratch space */ struct sbi_scratch { |