Symbol: xen_send_ipi
sys/arch/x86/x86/x86_machdep.c
393
xen_send_ipi(ci, XEN_IPI_KPREEMPT);
sys/arch/xen/include/intr.h
82
int xen_send_ipi(struct cpu_info *, uint32_t);
sys/arch/xen/x86/cpu.c
1279
(void)xen_send_ipi(ci, XEN_IPI_AST);
sys/arch/xen/x86/hypervisor_machdep.c
418
if (xen_send_ipi(ci, XEN_IPI_HVCB)) {
sys/arch/xen/x86/xen_ipi.c
213
if (0 != xen_send_ipi(ci, ipimask)) {
sys/arch/xen/x86/xen_ipi.c
329
if (0 != xen_send_ipi(ci, XEN_IPI_XCALL)) {
sys/arch/xen/x86/xen_ipi.c
343
if (0 != xen_send_ipi(ci, XEN_IPI_GENERIC)) {