Searched refs:openpic_ipi (Results 1 – 5 of 5) sorted by relevance
77 DEVMETHOD(pic_ipi, openpic_ipi),
83 void openpic_ipi(device_t, u_int);
80 DEVMETHOD(pic_ipi, openpic_ipi),
347 openpic_ipi(device_t dev, u_int cpu) in openpic_ipi() function
528 DEVMETHOD(pic_ipi, openpic_ipi),