Symbol: xen_ipi_generic
sys/arch/xen/x86/xen_ipi.c
72
static void xen_ipi_generic(struct cpu_info *, struct intrframe *);
sys/arch/xen/x86/xen_ipi.c
87
xen_ipi_generic,