HomeSort by: relevance | last modified time | path
    Searched refs:XEN_IPI_SYNCH_FPU (Results 1 - 2 of 2) sorted by relevancy

  /src/sys/arch/xen/include/
intrdefs.h 10 #define XEN_IPI_SYNCH_FPU 0x00000002
  /src/sys/arch/xen/x86/
xen_ipi.c 69 static void xen_ipi_synch_fpu(struct cpu_info *, struct intrframe *);
79 xen_ipi_synch_fpu,
156 XEN_IPI_DDB | XEN_IPI_SYNCH_FPU |
236 xen_ipi_synch_fpu(struct cpu_info *ci, struct intrframe *intrf) function in typeref:typename:void

Completed in 33 milliseconds