pte_cached_change
pt_entry_t pte = pte_cached_change(*ptep, flags);
*ptep = pte_cached_change(*ptep, false);
pte = pte_cached_change(pte, cached);