Symbol: xen_ipi_init
sys/arch/xen/include/intr.h
81
void xen_ipi_init(void);
sys/arch/xen/x86/cpu.c
449
xen_ipi_init();
sys/arch/xen/x86/cpu.c
732
xen_ipi_init();