Symbol: xen_broadcast_ipi
sys/arch/xen/include/intr.h
87
#define xen_broadcast_ipi(_i1) ((void) 0) /* nothing */
sys/arch/xen/x86/xen_ipi.c
190
xen_broadcast_ipi(uint32_t ipimask)