Symbol: pte_user_exec