Symbol: xen_ipi_synch_fpu
sys/arch/xen/x86/xen_ipi.c
69
static void xen_ipi_synch_fpu(struct cpu_info *, struct intrframe *);
sys/arch/xen/x86/xen_ipi.c
79
xen_ipi_synch_fpu,