Symbol: pte_global_p