pte_load_store
origpte = pte_load_store(pte, newpte);
origpte = be64toh(pte_load_store(pte, htobe64(newpte)));