pmap_pte_cas
} while (pmap_pte_cas(ptep, opte, npte) != opte);
} while (pmap_pte_cas(spte, opte, npte) != opte);
} while (pmap_pte_cas(ptep, opte, npte) != opte);
} while (pmap_pte_cas(ptep, opte, npte) != opte);
} while (pmap_pte_cas(ptep, opte, npte) != opte);
} while (pmap_pte_cas(ptep, opte, npte) != opte);
} while (pmap_pte_cas(spte, opte, npte) != opte);