Add SBI calls for remote I$/TLB flushes

1 files changed, 4 insertions, 0 deletions

diff --git a/pk/sbi.h b/pk/sbi.h
index 0a2b880..cc112d9 100644
--- a/pk/sbi.h
+++ b/pk/sbi.h
@@ -18,6 +18,10 @@ unsigned long sbi_clear_ipi(void);
 void sbi_console_putchar(unsigned long ch);
 void sbi_shutdown(void);
 
+void sbi_remote_sfence_vm(unsigned long hart_mask_ptr, unsigned long asid);
+void sbi_remote_sfence_vm_range(unsigned long hart_mask_ptr, unsigned long asid, unsigned long start, unsigned long size);
+void sbi_remote_fence_i(unsigned long hart_mask_ptr);
+
 typedef struct {
   unsigned long dev;
   unsigned long cmd;