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_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);