diff options
| author | Marvin Borner | 2020-01-16 17:15:53 +0100 |
|---|---|---|
| committer | Marvin Borner | 2020-01-16 17:15:53 +0100 |
| commit | cd3ad989210dc8a3f5805dd5d4c4a6bd74e281db (patch) | |
| tree | 015fa67057b1ca14a86a8faf4d1cabb0356467b2 /src/kernel/paging/paging.h | |
| parent | 602b98247e9c87e38870e39abf1d8b13aeae5d0f (diff) | |
Quite a different approach to userspace paging
Hope this works soon!
Diffstat (limited to 'src/kernel/paging/paging.h')
| -rw-r--r-- | src/kernel/paging/paging.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/kernel/paging/paging.h b/src/kernel/paging/paging.h index 684c3b2..b75bbe3 100644 --- a/src/kernel/paging/paging.h +++ b/src/kernel/paging/paging.h @@ -29,7 +29,7 @@ void paging_enable(); void paging_disable(); -void paging_switch_directory(); +void paging_switch_directory(int user); void paging_map(uint32_t phy, uint32_t virt, uint16_t flags); |