Searched refs:clflush_cache_range (Results 1 – 6 of 6) sorted by relevance
9 void clflush_cache_range(void *addr, unsigned int size);
79 GLOBAL_ENTRY(clflush_cache_range)120 END(clflush_cache_range)
39 extern void clflush_cache_range(void *addr, int size);
240 clflush_cache_range(__va(pa), size); in __set_clr_pte_enc()
300 void clflush_cache_range(void *vaddr, unsigned int size) in clflush_cache_range() function306 EXPORT_SYMBOL_GPL(clflush_cache_range);310 clflush_cache_range(addr, size); in arch_invalidate_pmem()
1914 clflush_cache_range(page_virtual, PAGE_SIZE); in sev_clflush_pages()