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);
-bool pagedir_test_accessed_and_clear (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 */