diff options
| author | Atish Patra <atish.patra@wdc.com> | 2019-04-01 17:04:57 -0700 |
|---|---|---|
| committer | Anup Patel <anup@brainfault.org> | 2019-04-03 09:57:42 +0530 |
| commit | fd5418d92cf3d72fe07971e4544662ac94b7963c (patch) | |
| tree | 8b7bd840f027544cfeef3854234660b02fc368ac /include/sbi/sbi_ipi.h | |
| parent | 8334a88c632b5bd3abd33fa8c9b9b4c04f0b12c8 (diff) | |
lib: Introduce a tlb info type.
Add a tlb info to distinguish between different type of tlb flush
request pending.
Signed-off-by: Atish Patra <atish.patra@wdc.com>
Diffstat (limited to 'include/sbi/sbi_ipi.h')
| -rw-r--r-- | include/sbi/sbi_ipi.h | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/include/sbi/sbi_ipi.h b/include/sbi/sbi_ipi.h index 1aafe35..33293c3 100644 --- a/include/sbi/sbi_ipi.h +++ b/include/sbi/sbi_ipi.h @@ -18,6 +18,12 @@ #define SBI_IPI_EVENT_SFENCE_VMA_ASID 0x8 #define SBI_IPI_EVENT_HALT 0x10 +enum sbi_tlb_info_types { + SBI_TLB_FLUSH_VMA, + SBI_TLB_FLUSH_VMA_ASID, + SBI_TLB_FLUSH_VMA_VMID +}; + struct sbi_scratch; struct sbi_ipi_data { @@ -28,6 +34,7 @@ struct sbi_tlb_info { unsigned long start; unsigned long size; unsigned long asid; + unsigned long type; }; int sbi_ipi_send_many(struct sbi_scratch *scratch, |