Searched defs:ipi_no (Results 1 - 1 of 1) sorted by relevance
| /netgear-WNDR4500-V1.0.1.40_1.0.68/src/linux/linux-2.6/arch/powerpc/sysdev/ | ||
| H A D | mpic.c | 1374 void mpic_send_ipi(unsigned int ipi_no, unsigned int cpu_mask) argument |
Completed in 87 milliseconds