diff options
Diffstat (limited to 'include/arch')
| -rw-r--r-- | include/arch/vmem.h | 7 |
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(); |