30 static inline void native_set_pte(pte_t *ptep, pte_t pte)  in native_set_pte()  argument
32 	ptep->pte_high = pte.pte_high;  in native_set_pte()
34 	ptep->pte_low = pte.pte_low;  in native_set_pte()
91 static inline void native_set_pte_atomic(pte_t *ptep, pte_t pte)  in native_set_pte_atomic()  argument
93 	set_64bit((unsigned long long *)(ptep), native_pte_val(pte));  in native_set_pte_atomic()
115 				    pte_t *ptep)  in native_pte_clear()  argument
117 	ptep->pte_low = 0;  in native_pte_clear()
119 	ptep->pte_high = 0;  in native_pte_clear()
151 static inline pte_t native_ptep_get_and_clear(pte_t *ptep)  in native_ptep_get_and_clear()  argument
155 	res.pte = (pteval_t)arch_atomic64_xchg((atomic64_t *)ptep, 0);  in native_ptep_get_and_clear()
321 static inline pte_t gup_get_pte(pte_t *ptep)  in gup_get_pte()  argument
326 		pte.pte_low = ptep->pte_low;  in gup_get_pte()
328 		pte.pte_high = ptep->pte_high;  in gup_get_pte()
330 	} while (unlikely(pte.pte_low != ptep->pte_low));  in gup_get_pte()