diff options
| author | Alex Auvolat <alex.auvolat@ens.fr> | 2014-12-03 17:20:29 +0100 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ens.fr> | 2014-12-03 17:20:29 +0100 |
| commit | d78a3d8be9c194554580cb3c73c1c5ebd0d82a9b (patch) | |
| tree | 68f05ca7bedff54a5b7ec20bbcc33232b235a44f /kernel/include/paging.h | |
| parent | 6a56675851c16a0cefcf5a2d10a1227c37e9d886 (diff) | |
| download | kogata-d78a3d8be9c194554580cb3c73c1c5ebd0d82a9b.tar.gz kogata-d78a3d8be9c194554580cb3c73c1c5ebd0d82a9b.zip | |
Improve region allocator with an idea to break dependency cycle
Diffstat (limited to 'kernel/include/paging.h')
| -rw-r--r-- | kernel/include/paging.h | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/kernel/include/paging.h b/kernel/include/paging.h index 5766e65..7082e2e 100644 --- a/kernel/include/paging.h +++ b/kernel/include/paging.h @@ -13,6 +13,8 @@ pagedir_t *get_kernel_pagedir(); void switch_pagedir(pagedir_t *pd); +// The three functions below DO NOT DEPEND on argument pd for +// addresses above K_HIGHHALF_ADDR, so just pass 0 to map/unmap in kernel space. uint32_t pd_get_frame(pagedir_t *pd, size_t vaddr); // get physical frame for virtual address int pd_map_page(pagedir_t *pd, size_t vaddr, uint32_t frame_id, |