Symbol: pte_mkexec