Searched refs:xive_ipi (Results 1 – 1 of 1) sorted by relevance
118 static void xive_ipi(device_t, u_int);134 DEVMETHOD(pic_ipi, xive_ipi),604 xive_ipi(device_t dev, u_int cpu) in xive_ipi() function