Symbol: pte_exec_p