aboutsummaryrefslogtreecommitdiff
path: root/src/kernel/include/paging.h
diff options
context:
space:
mode:
authorAlex Auvolat <alex.auvolat@ens.fr>2015-02-09 18:04:59 +0100
committerAlex Auvolat <alex.auvolat@ens.fr>2015-02-09 18:04:59 +0100
commitcaf842864bdc0794e387f9580af96ab1036996f4 (patch)
tree92b1e05e5ed79628132e320dcaa84a25eebd0dd7 /src/kernel/include/paging.h
parent3b03f1e41558131ca2f83a460f4d2e289cbedac0 (diff)
downloadkogata-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/paging.h')
-rw-r--r--src/kernel/include/paging.h2
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