From fd5418d92cf3d72fe07971e4544662ac94b7963c Mon Sep 17 00:00:00 2001 From: Atish Patra Date: Mon, 1 Apr 2019 17:04:57 -0700 Subject: [PATCH] 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 --- include/sbi/sbi_ipi.h | 7 +++++++ 1 file changed, 7 insertions(+) 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,