From 47d22a238a6c5d60c6abfac724e6ad91885cdd67 Mon Sep 17 00:00:00 2001 From: Michal Idziorek Date: Fri, 29 Aug 2014 19:56:40 +0200 Subject: added paging support --- kernel/x86.h | 2 ++ 1 file changed, 2 insertions(+) (limited to 'kernel/x86.h') diff --git a/kernel/x86.h b/kernel/x86.h index 2b7572c..3233124 100644 --- a/kernel/x86.h +++ b/kernel/x86.h @@ -16,5 +16,7 @@ void x86_outw(int port, uint16_t data); uint16_t x86_inw(int port); 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(); #endif -- cgit v1.2.3