diff options
| -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, |