Symbol: xen_ipi_hvcb
sys/arch/xen/x86/xen_ipi.c
71
static void xen_ipi_hvcb(struct cpu_info *, struct intrframe *);
sys/arch/xen/x86/xen_ipi.c
86
xen_ipi_hvcb,