Searched refs:FLUSH_CACHE (Results 1 – 8 of 8) sorted by relevance
134 if ( flags & FLUSH_CACHE ) in flush_area_local()154 flags &= ~FLUSH_CACHE; in flush_area_local()
3346 flush_mask(mask, FLUSH_CACHE); in do_mmuext_op()4613 flush_flags |= FLUSH_CACHE; \ in map_pages_to_xen()
101 #define FLUSH_CACHE 0x400 macro144 flush_area_local(p, FLUSH_CACHE|FLUSH_ORDER(order)); in clean_and_invalidate_dcache_va_range()
612 flush_all(FLUSH_CACHE); in hvm_set_mem_pinned_cacheattr()664 flush_all(FLUSH_CACHE); in hvm_set_mem_pinned_cacheattr()756 flush_all(FLUSH_CACHE); in memory_type_changed()
2158 flush_all(FLUSH_CACHE); in hvm_shadow_handle_cd()
1702 flush_mask(cpumask_of(cpu), FLUSH_CACHE); in vmx_do_resume()
3209 flush_all(FLUSH_CACHE); in vmx_wbinvd_intercept()
2345 flush_all(FLUSH_CACHE); in svm_wbinvd_intercept()
Completed in 33 milliseconds