78 static inline void kvm_set_pte(pte_t *pte, pte_t new_pte)  in kvm_set_pte()  argument
80 	*pte = new_pte;  in kvm_set_pte()
85 	flush_pmd_entry(pte);  in kvm_set_pte()
103 static inline void kvm_clean_pte(pte_t *pte)  in kvm_clean_pte()  argument
105 	clean_pte_table(pte);  in kvm_clean_pte()
108 static inline void kvm_set_s2pte_writable(pte_t *pte)  in kvm_set_s2pte_writable()  argument
110 	pte_val(*pte) |= L_PTE_S2_RDWR;  in kvm_set_s2pte_writable()
118 static inline void kvm_set_s2pte_readonly(pte_t *pte)  in kvm_set_s2pte_readonly()  argument
120 	pte_val(*pte) = (pte_val(*pte) & ~L_PTE_S2_RDWR) | L_PTE_S2_RDONLY;  in kvm_set_s2pte_readonly()
123 static inline bool kvm_s2pte_readonly(pte_t *pte)  in kvm_s2pte_readonly()  argument
125 	return (pte_val(*pte) & L_PTE_S2_RDWR) == L_PTE_S2_RDONLY;  in kvm_s2pte_readonly()
237 static inline void __kvm_flush_dcache_pte(pte_t pte)  in __kvm_flush_dcache_pte()  argument
239 	void *va = kmap_atomic(pte_page(pte));  in __kvm_flush_dcache_pte()