From 2a20e3596a446df55cfe4b34b45b4cd8eae594db Mon Sep 17 00:00:00 2001 From: stefan Date: Sat, 29 Apr 2023 17:37:05 -0400 Subject: some work on paging --- sys/include/sbi.h | 6 ++++++ 1 file changed, 6 insertions(+) (limited to 'sys/include/sbi.h') diff --git a/sys/include/sbi.h b/sys/include/sbi.h index 86ca295..7430bc6 100644 --- a/sys/include/sbi.h +++ b/sys/include/sbi.h @@ -66,6 +66,12 @@ sbi_debug_console_write_byte(uint8_t byte) sbi_ecall(0x4442434E, 0x2, 'c', 0, 0, 0, 0, 0); } +static inline void +sbi_remote_sfence_vma(unsigned long hart_mask, unsigned long hart_mask_base, unsigned long start_addr, unsigned long size) +{ + sbi_ecall(0x52464E43, 1, hart_mask, hart_mask_base, start_addr, size, 0, 0); +} + static inline void sbi_shutdown(void) { -- cgit v1.2.3