diff options
| author | Michal Idziorek <m.i@gmx.at> | 2014-09-02 14:53:09 +0200 |
|---|---|---|
| committer | Michal Idziorek <m.i@gmx.at> | 2014-09-02 14:53:09 +0200 |
| commit | 5348a94a6e7a16a070c502c29db30a08253a99a3 (patch) | |
| tree | a60838ee9c4b7ac854084fe0eeb0e579a5afc33d /kernel/x86.h | |
| parent | 347ee926fd09d7fb45025f2c4e4a4eeab83459c9 (diff) | |
Debugging paging problem on VirtualBox (VT-x)
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 |