27 static inline void native_set_pte(pte_t *ptep, pte_t pte)  in native_set_pte()  argument
29 	ptep->pte_high = pte.pte_high;  in native_set_pte()
31 	ptep->pte_low = pte.pte_low;  in native_set_pte()
88 static inline void native_set_pte_atomic(pte_t *ptep, pte_t pte)  in native_set_pte_atomic()  argument
90 	set_64bit((unsigned long long *)(ptep), native_pte_val(pte));  in native_set_pte_atomic()
109 				    pte_t *ptep)  in native_pte_clear()  argument
111 	ptep->pte_low = 0;  in native_pte_clear()
113 	ptep->pte_high = 0;  in native_pte_clear()
141 static inline pte_t native_ptep_get_and_clear(pte_t *ptep)  in native_ptep_get_and_clear()  argument
146 	res.pte_low = xchg(&ptep->pte_low, 0);  in native_ptep_get_and_clear()
147 	res.pte_high = ptep->pte_high;  in native_ptep_get_and_clear()
148 	ptep->pte_high = 0;  in native_ptep_get_and_clear()