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

  /src/sys/arch/xen/include/
intr.h 83 void xen_broadcast_ipi(uint32_t);
87 #define xen_broadcast_ipi(_i1) ((void) 0) /* nothing */ macro
  /src/sys/arch/xen/x86/
xen_ipi.c 190 xen_broadcast_ipi(uint32_t ipimask) function in typeref:typename:void
196 "xen_broadcast_ipi() called with invalid ipimask\n");
333 xen_broadcast_ipi(XEN_IPI_XCALL);
347 xen_broadcast_ipi(XEN_IPI_GENERIC);
cpu.c 1269 xen_broadcast_ipi(XEN_IPI_HALT);
  /src/sys/arch/amd64/amd64/
db_interface.c 154 xen_broadcast_ipi(XEN_IPI_DDB);
  /src/sys/arch/i386/i386/
db_interface.c 156 xen_broadcast_ipi(XEN_IPI_DDB);

Completed in 15 milliseconds