Searched refs:flush_dcache_line_indexed (Results 1 – 2 of 2) sorted by relevance
61 static inline void flush_dcache_line_indexed(unsigned long addr) in flush_dcache_line_indexed() function
1116 flush_dcache_line_indexed(va); in kvm_vz_gpsi_cache()