Symbol: check_pte