HomeSort by: relevance | last modified time | path
    Searched defs:xen_broadcast_ipi (Results 1 - 2 of 2) 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);

Completed in 11 milliseconds