Symbol: set_page_mte_tagged