diff options
Diffstat (limited to 'kernel/x86.h')
| -rw-r--r-- | kernel/x86.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/x86.h b/kernel/x86.h index 3233124..434c28c 100644 --- a/kernel/x86.h +++ b/kernel/x86.h @@ -18,5 +18,6 @@ void x86_outl(int port, uint32_t data); uint32_t x86_inl(int port); void x86_set_pdbr(uint32_t addr); void x86_paging_enable(); +void x86_flush_tlb(void* m); #endif |