From 5348a94a6e7a16a070c502c29db30a08253a99a3 Mon Sep 17 00:00:00 2001 From: Michal Idziorek Date: Tue, 2 Sep 2014 14:53:09 +0200 Subject: Debugging paging problem on VirtualBox (VT-x) --- kernel/x86.h | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'kernel/x86.h') 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 -- cgit v1.2.3