1 files changed, 5 insertions, 0 deletions
diff --git a/kernel/x86.c b/kernel/x86.c
index cc7c303..94f4f89 100644
--- a/kernel/x86.c
+++ b/kernel/x86.c
@@ -50,3 +50,8 @@ void x86_paging_enable()
     cr0 |= 0x80000000;
     asm volatile("mov %0, %%cr0":: "b"(cr0));
 }
+
+x86_flush_tlb(uint32_t addr)
+{
+	asm volatile("invlpg (%0)" ::"r" (addr) : "memory");
+}