diff options
Diffstat (limited to 'kernel/memory.c')
| -rw-r--r-- | kernel/memory.c | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/kernel/memory.c b/kernel/memory.c index 465b44f..0c73970 100644 --- a/kernel/memory.c +++ b/kernel/memory.c @@ -85,6 +85,7 @@ void *map_page(void *page) { /* * invalidate any cached entries for * the mapped page window. + * TODO: skip this on i386 */ __asm__ ("invlpg %0" :: "m" (mapped_page)); |