Symbol: pte_list_add