diff --git a/include/kernel/pmap.h b/include/kernel/pmap.h
index f9c46bc..5e6f292 100644
--- a/include/kernel/pmap.h
+++ b/include/kernel/pmap.h
@@ -52,6 +52,10 @@ extern pmap_t pmap_create(void);
 extern void pmap_destroy(pmap_t pmap);
 extern void pmap_switch(pmap_t pmap);
 
+extern void pmap_flush(void);
+extern void pmap_flush_page(virt_addr_t p);
+extern void pmap_flush_range(virt_addr_t start, size_t length);
+
 extern kern_status_t pmap_handle_fault(
 	virt_addr_t fault_addr,
 	enum pmap_fault_flags flags);