diff options
| author | Alex Auvolat <alex.auvolat@ens.fr> | 2014-12-04 10:59:18 +0100 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ens.fr> | 2014-12-04 10:59:18 +0100 |
| commit | fa416dde49492de40ca2c7ba616a0cf2ea77e706 (patch) | |
| tree | a45411e96761594ae51b3349532e5a410d3a8ac9 /kernel/l0/paging.c | |
| parent | 292e4141078d18993b1395820631503ac852eb3d (diff) | |
| download | kogata-fa416dde49492de40ca2c7ba616a0cf2ea77e706.tar.gz kogata-fa416dde49492de40ca2c7ba616a0cf2ea77e706.zip | |
Formatting fixes
Diffstat (limited to 'kernel/l0/paging.c')
| -rw-r--r-- | kernel/l0/paging.c | 2 |
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; } |