Searched refs:ipi_flush_icache_page (Results 1 – 1 of 1) sorted by relevance
720 ipi_flush_icache_page(void *x) in ipi_flush_icache_page() function755 smp_call_function(ipi_flush_icache_page, mm, 1); in flush_icache_user_page()