summaryrefslogtreecommitdiffstats
path: root/userprog/pagedir.h
diff options
context:
space:
mode:
authormanuel <manuel@mausz.at>2012-03-27 11:51:08 +0200
committermanuel <manuel@mausz.at>2012-03-27 11:51:08 +0200
commit4f670845ff9ab6c48bcb5f7bf4d4ef6dc3c3064b (patch)
tree868c52e06f207b5ec8a3cc141f4b8b2bdfcc165c /userprog/pagedir.h
parenteae0bd57f0a26314a94785061888d193d186944a (diff)
downloadprogos-4f670845ff9ab6c48bcb5f7bf4d4ef6dc3c3064b.tar.gz
progos-4f670845ff9ab6c48bcb5f7bf4d4ef6dc3c3064b.tar.bz2
progos-4f670845ff9ab6c48bcb5f7bf4d4ef6dc3c3064b.zip
reorganize file structure to match the upstream requirements
Diffstat (limited to 'userprog/pagedir.h')
-rw-r--r--userprog/pagedir.h18
1 files changed, 18 insertions, 0 deletions
diff --git a/userprog/pagedir.h b/userprog/pagedir.h
new file mode 100644
index 0000000..cd92447
--- /dev/null
+++ b/userprog/pagedir.h
@@ -0,0 +1,18 @@
1#ifndef USERPROG_PAGEDIR_H
2#define USERPROG_PAGEDIR_H
3
4#include <stdbool.h>
5#include <stdint.h>
6
7uint32_t *pagedir_create (void);
8void pagedir_destroy (uint32_t *pd);
9bool pagedir_set_page (uint32_t *pd, void *upage, void *kpage, bool rw);
10void *pagedir_get_page (uint32_t *pd, const void *upage);
11void pagedir_clear_page (uint32_t *pd, void *upage);
12bool pagedir_is_dirty (uint32_t *pd, const void *upage);
13void pagedir_set_dirty (uint32_t *pd, const void *upage, bool dirty);
14bool pagedir_is_accessed (uint32_t *pd, const void *upage);
15void pagedir_set_accessed (uint32_t *pd, const void *upage, bool accessed);
16void pagedir_activate (uint32_t *pd);
17
18#endif /* userprog/pagedir.h */