aboutsummaryrefslogtreecommitdiff
path: root/kernel/l0/paging.c
diff options
context:
space:
mode:
authorAlex Auvolat <alex.auvolat@ens.fr>2014-12-04 10:59:18 +0100
committerAlex Auvolat <alex.auvolat@ens.fr>2014-12-04 10:59:18 +0100
commitfa416dde49492de40ca2c7ba616a0cf2ea77e706 (patch)
treea45411e96761594ae51b3349532e5a410d3a8ac9 /kernel/l0/paging.c
parent292e4141078d18993b1395820631503ac852eb3d (diff)
downloadmacroscope-fa416dde49492de40ca2c7ba616a0cf2ea77e706.tar.gz
macroscope-fa416dde49492de40ca2c7ba616a0cf2ea77e706.zip
Formatting fixes
Diffstat (limited to 'kernel/l0/paging.c')
-rw-r--r--kernel/l0/paging.c2
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/l0/paging.c b/kernel/l0/paging.c
index 74f3d09..0104d5e 100644
--- a/kernel/l0/paging.c
+++ b/kernel/l0/paging.c
@@ -127,7 +127,7 @@ pagedir_t *get_kernel_pagedir() {
}
void switch_pagedir(pagedir_t *pd) {
- asm volatile("movl %0, %%cr3":: "r"(pd->phys_addr));
+ asm volatile("movl %0, %%cr3":: "r"(pd->phys_addr));
invlpg((size_t)current_pd);
current_pd_d = pd;
}