Searched refs:ipi_flush_icache_page (Results 1 – 1 of 1) sorted by relevance
739 ipi_flush_icache_page(void *x) in ipi_flush_icache_page() function774 if (smp_call_function(ipi_flush_icache_page, mm, 1)) { in flush_icache_user_range()