Searched refs:__kvm_flush_dcache_pte (Results 1 – 2 of 2) sorted by relevance
301 static inline void __kvm_flush_dcache_pte(pte_t pte) in __kvm_flush_dcache_pte() function
341 static inline void __kvm_flush_dcache_pte(pte_t pte) in __kvm_flush_dcache_pte() function