projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Clarifications.
[pintos-anon]
/
src
/
userprog
/
pagedir.h
diff --git
a/src/userprog/pagedir.h
b/src/userprog/pagedir.h
index 6915a30915cb13bf20ec2e38bfc43ce697b3fda2..f1ddace6b58be198f5b3d5ee82c34119d8d612f8 100644
(file)
--- a/
src/userprog/pagedir.h
+++ b/
src/userprog/pagedir.h
@@
-8,6
+8,10
@@
uint32_t *pagedir_create (void);
void pagedir_destroy (uint32_t *pd);
bool pagedir_set_page (uint32_t *pd, void *upage, void *kpage, bool rw);
void *pagedir_get_page (uint32_t *pd, const void *upage);
void pagedir_destroy (uint32_t *pd);
bool pagedir_set_page (uint32_t *pd, void *upage, void *kpage, bool rw);
void *pagedir_get_page (uint32_t *pd, const void *upage);
+void pagedir_clear_page (uint32_t *pd, void *upage);
+bool pagedir_test_dirty (uint32_t *pd, const void *upage);
+bool pagedir_test_accessed (uint32_t *pd, const void *upage);
+void pagedir_clear_accessed (uint32_t *pd, const void *upage);
void pagedir_activate (uint32_t *pd);
#endif /* userprog/pagedir.h */
void pagedir_activate (uint32_t *pd);
#endif /* userprog/pagedir.h */