Symbol: mark_page_reserved