Searched refs:ipi_flush_tlb_kernel_page (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.c682 static inline void ipi_flush_tlb_kernel_page(void *arg) function
732 on_each_cpu(ipi_flush_tlb_kernel_page, &ta, 1, 1);

Completed in 38 milliseconds