Symbol: mark_page_accessed