diff options
Diffstat (limited to 'kernel/x86.h')
| -rw-r--r-- | kernel/x86.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/x86.h b/kernel/x86.h index 434c28c..345162f 100644 --- a/kernel/x86.h +++ b/kernel/x86.h @@ -18,6 +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); +void x86_flush_tlb(uint32_t addr); #endif |