Symbol: pte_list_count