Symbol: xen_send_ipi
sys/arch/xen/include/intr.h
86
#define xen_send_ipi(_i1, _i2) (0) /* nothing */
sys/arch/xen/x86/xen_ipi.c
168
xen_send_ipi(struct cpu_info *ci, uint32_t ipimask)