visionfive2 boots until debugging is initialized

1 files changed, 5 insertions, 2 deletions

diff --git a/include/arch/vmem.h b/include/arch/vmem.h
index 3f73a8f..d2f031d 100644
--- a/include/arch/vmem.h
+++ b/include/arch/vmem.h
@@ -98,8 +98,11 @@ stat_t mod_vpage(struct vmem *branch, vm_t vaddr, pm_t paddr, vmflags_t flags);
 stat_t stat_vpage(struct vmem *branch, vm_t vaddr, pm_t *paddr,
                   enum mm_order *order, vmflags_t *flags);
 
-/** Flush tlb of current processor. */
-void flush_tlb();
+/** Flush tlb entry where associated with address \p addr. */
+void flush_tlb(uintptr_t addr);
+
+/** Flush full tlb of current address space. */
+void flush_tlb_full();
 
 /** Flush tlbs of all processors. */
 void flush_tlb_all();