Searched refs:ipi_flush_icache_page (Results 1 - 1 of 1) sorted by relevance

/netgear-WNDR4500-V1.0.1.40_1.0.68/src/linux/linux-2.6/arch/alpha/kernel/
H A Dsmp.c932 ipi_flush_icache_page(void *x)
967 if (smp_call_function(ipi_flush_icache_page, mm, 1, 1)) {
929 ipi_flush_icache_page(void *x) function

Completed in 77 milliseconds