Searched refs:ps3pic_ipi (Results 1 – 1 of 1) sorted by relevance
54 static void ps3pic_ipi(device_t, u_int);79 DEVMETHOD(pic_ipi, ps3pic_ipi),205 ps3pic_ipi(device_t dev, u_int cpu) in ps3pic_ipi() function