Symbol: xen_ipi_kpreempt
sys/arch/xen/x86/xen_ipi.c
74
static void xen_ipi_kpreempt(struct cpu_info *ci, struct intrframe *);
sys/arch/xen/x86/xen_ipi.c
89
xen_ipi_kpreempt