diff options
| author | Michal Idziorek <m.i@gmx.at> | 2014-08-29 19:56:40 +0200 |
|---|---|---|
| committer | Michal Idziorek <m.i@gmx.at> | 2014-08-29 19:56:40 +0200 |
| commit | 47d22a238a6c5d60c6abfac724e6ad91885cdd67 (patch) | |
| tree | bd3893777b58aac7c94d68fe2a4ba57cfbdb38ec /kernel/x86.h | |
| parent | 659f1f1ae057c82a154a1fd32cc9dca040979daa (diff) | |
added paging support
Diffstat (limited to 'kernel/x86.h')
| -rw-r--r-- | kernel/x86.h | 2 |
1 files changed, 2 insertions, 0 deletions
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 |