update_pte
do { update_pte(ptep, __pte(_PAGE_CA_INVALID | _PAGE_USER)); } while (0)
update_pte(ptep, pte);
update_pte(ptep, pte_mkold(pte));
update_pte(ptep, pte_wrprotect(pte));