Searched refs:atpic_ipi (Results 1 - 1 of 1) sorted by relevance
/freebsd-10.2-release/sys/powerpc/mpc85xx/ | ||
H A D | atpic.c | 78 static void atpic_ipi(device_t, u_int); 96 DEVMETHOD(pic_ipi, atpic_ipi), 299 atpic_ipi(device_t dev, u_int cpu) function |
Completed in 118 milliseconds