72 static inline void kvm_set_pmd(pmd_t *pmd, pmd_t new_pmd)  in kvm_set_pmd()  argument
74 	*pmd = new_pmd;  in kvm_set_pmd()
75 	flush_pmd_entry(pmd);  in kvm_set_pmd()
93 static inline void kvm_clean_pmd(pmd_t *pmd)  in kvm_clean_pmd()  argument
95 	clean_dcache_area(pmd, PTRS_PER_PMD * sizeof(pmd_t));  in kvm_clean_pmd()
98 static inline void kvm_clean_pmd_entry(pmd_t *pmd)  in kvm_clean_pmd_entry()  argument
100 	clean_pmd_entry(pmd);  in kvm_clean_pmd_entry()
113 static inline void kvm_set_s2pmd_writable(pmd_t *pmd)  in kvm_set_s2pmd_writable()  argument
115 	pmd_val(*pmd) |= L_PMD_S2_RDWR;  in kvm_set_s2pmd_writable()
128 static inline void kvm_set_s2pmd_readonly(pmd_t *pmd)  in kvm_set_s2pmd_readonly()  argument
130 	pmd_val(*pmd) = (pmd_val(*pmd) & ~L_PMD_S2_RDWR) | L_PMD_S2_RDONLY;  in kvm_set_s2pmd_readonly()
133 static inline bool kvm_s2pmd_readonly(pmd_t *pmd)  in kvm_s2pmd_readonly()  argument
135 	return (pmd_val(*pmd) & L_PMD_S2_RDWR) == L_PMD_S2_RDONLY;  in kvm_s2pmd_readonly()
246 static inline void __kvm_flush_dcache_pmd(pmd_t pmd)  in __kvm_flush_dcache_pmd()  argument
249 	pfn_t pfn = pmd_pfn(pmd);  in __kvm_flush_dcache_pmd()