diff options
| author | Alex Auvolat <alex.auvolat@ens.fr> | 2015-02-09 18:04:59 +0100 |
|---|---|---|
| committer | Alex Auvolat <alex.auvolat@ens.fr> | 2015-02-09 18:04:59 +0100 |
| commit | caf842864bdc0794e387f9580af96ab1036996f4 (patch) | |
| tree | 92b1e05e5ed79628132e320dcaa84a25eebd0dd7 /src/kernel/include | |
| parent | 3b03f1e41558131ca2f83a460f4d2e289cbedac0 (diff) | |
| download | kogata-caf842864bdc0794e387f9580af96ab1036996f4.tar.gz kogata-caf842864bdc0794e387f9580af96ab1036996f4.zip | |
Change semantics of pd_map_page to return true on success, false on error.
Diffstat (limited to 'src/kernel/include')
| -rw-r--r-- | src/kernel/include/paging.h | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/kernel/include/paging.h b/src/kernel/include/paging.h index 44014a2..d42ec52 100644 --- a/src/kernel/include/paging.h +++ b/src/kernel/include/paging.h @@ -16,7 +16,7 @@ void switch_pagedir(pagedir_t *pd); // these functions are always relative to the currently mapped page directory uint32_t pd_get_frame(void* vaddr); // get physical frame for virtual address -int pd_map_page(void* vaddr, uint32_t frame_id, bool rw); // returns nonzero on error +bool pd_map_page(void* vaddr, uint32_t frame_id, bool rw); // returns true on success, false on failure void pd_unmap_page(void* vaddr); // does nothing if page not mapped // Note on concurrency : we expect that multiple threads will not try to map/unmap |