diff options
| author | Marvin Borner | 2020-01-16 21:08:43 +0100 |
|---|---|---|
| committer | GitHub | 2020-01-16 21:08:43 +0100 |
| commit | d5d1749257ff8b9aa6b5ace4b4720b484a2860f3 (patch) | |
| tree | a2cd4f1c7995e32c1c02b191324fa63f9d30655b /src/kernel/paging/paging.h | |
| parent | 602b98247e9c87e38870e39abf1d8b13aeae5d0f (diff) | |
| parent | 366119b53d5148922c5df7c7bd088ed71e95499a (diff) | |
Merged fancy userspace paging
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); |