__radix_pte_update
old_pte = __radix_pte_update(ptep, clr, set);
return __radix_pte_update(ptep, clr, set);
__radix_pte_update(ptep, clr, set);
old_pte = __radix_pte_update(ptep, _PAGE_PRESENT, _PAGE_INVALID);
__radix_pte_update(ptep, _PAGE_INVALID, new_pte);
__radix_pte_update(ptep, 0, set);