Symbol: xen_ipi_init
sys/arch/xen/include/intr.h
85
#define xen_ipi_init(_1) ((void) 0) /* nothing */
sys/arch/xen/x86/xen_ipi.c
122
xen_ipi_init(void)