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

  /src/sys/arch/xen/include/
intrdefs.h 11 #define XEN_IPI_DDB 0x00000004
  /src/sys/arch/amd64/amd64/
db_interface.c 154 xen_broadcast_ipi(XEN_IPI_DDB);
  /src/sys/arch/xen/x86/
xen_ipi.c 65 static void xen_ipi_ddb(struct cpu_info *, struct intrframe *);
81 xen_ipi_ddb,
156 XEN_IPI_DDB | XEN_IPI_SYNCH_FPU |
246 xen_ipi_ddb(struct cpu_info *ci, struct intrframe *intrf) function in typeref:typename:void
  /src/sys/arch/i386/i386/
db_interface.c 156 xen_broadcast_ipi(XEN_IPI_DDB);

Completed in 13 milliseconds