42 static inline void native_set_pte(pte_t *ptep, pte_t pte)  in native_set_pte()  argument
44 	ptep->pte_high = pte.pte_high;  in native_set_pte()
46 	ptep->pte_low = pte.pte_low;  in native_set_pte()
57 					  pte_t *ptep, pte_t pte)  in native_set_pte_present()  argument
59 	ptep->pte_low = 0;  in native_set_pte_present()
61 	ptep->pte_high = pte.pte_high;  in native_set_pte_present()
63 	ptep->pte_low = pte.pte_low;  in native_set_pte_present()
66 static inline void native_set_pte_atomic(pte_t *ptep, pte_t pte)  in native_set_pte_atomic()  argument
68 	set_64bit((unsigned long long *)(ptep), native_pte_val(pte));  in native_set_pte_atomic()
87 				    pte_t *ptep)  in native_pte_clear()  argument
89 	ptep->pte_low = 0;  in native_pte_clear()
91 	ptep->pte_high = 0;  in native_pte_clear()
133 static inline pte_t native_ptep_get_and_clear(pte_t *ptep)  in native_ptep_get_and_clear()  argument
138 	res.pte_low = xchg(&ptep->pte_low, 0);  in native_ptep_get_and_clear()
139 	res.pte_high = ptep->pte_high;  in native_ptep_get_and_clear()
140 	ptep->pte_high = 0;  in native_ptep_get_and_clear()