Home
last modified time | relevance | path

Searched refs:ec_send_ipi (Results 1 – 3 of 3) sorted by relevance

/illumos-gate/usr/src/uts/i86xpv/sys/
H A Devtchn_impl.h164 extern void ec_send_ipi(int, int);
/illumos-gate/usr/src/uts/i86xpv/io/psm/
H A Dxpv_psm.c311 ec_send_ipi(ipl, cpun); in xen_psm_send_ipi()
/illumos-gate/usr/src/uts/i86xpv/os/
H A Devtchn.c793 ec_send_ipi(int ipl, int cpu) in ec_send_ipi() function