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

/netgear-WNDR4500-V1.0.1.40_1.0.68/src/linux/linux-2.6/arch/arm/kernel/
H A Dsmp.c696 static inline void ipi_flush_tlb_kernel_range(void *arg) function
755 on_each_cpu(ipi_flush_tlb_kernel_range, &ta, 1, 1);

Completed in 78 milliseconds