_PAGE_CA_INVALID
# define pte_none(pte) (pte_val(pte) == (_PAGE_CA_INVALID | _PAGE_USER))
# define pte_present(pte) ((pte_val(pte) & _PAGE_CA_MASK) != _PAGE_CA_INVALID)
(((pte_val(pte) & _PAGE_CA_MASK) != _PAGE_CA_INVALID) \
do { update_pte(ptep, __pte(_PAGE_CA_INVALID | _PAGE_USER)); } while (0)
_PAGE_CA_INVALID | _PAGE_USER})