Searched refs:flush_kernel_icache_page_addr (Results 1 – 1 of 1) sorted by relevance
371 static void flush_kernel_icache_page_addr(const void *addr) in flush_kernel_icache_page_addr() function400 flush_kernel_icache_page_addr(kaddr); in flush_icache_pages()