-/* Returns true if the PTE for user virtual page UPAGE in PD has
- been accessed recently, and then resets the accessed bit for
- that page.
- Returns false and has no effect if PD contains no PDE for
- UPAGE. */
-bool
-pagedir_test_accessed_and_clear (uint32_t *pd, const void *upage)
+/* Resets the accessed bit in the PTE for user virtual page UPAGE
+ in PD. */
+void
+pagedir_clear_accessed (uint32_t *pd, const void *upage)