Searched refs:ps3pic_ipi (Results 1 - 1 of 1) sorted by relevance
| /freebsd-9.3-release/sys/powerpc/ps3/ | ||
| H A D | ps3pic.c | 54 static void ps3pic_ipi(device_t, u_int); 79 DEVMETHOD(pic_ipi, ps3pic_ipi), 206 ps3pic_ipi(device_t dev, u_int cpu) function |
Completed in 70 milliseconds