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

  /src/sys/arch/xen/include/
intr.h 82 int xen_send_ipi(struct cpu_info *, uint32_t);
86 #define xen_send_ipi(_i1, _i2) (0) /* nothing */ macro
  /src/sys/arch/xen/x86/
xen_ipi.c 168 xen_send_ipi(struct cpu_info *ci, uint32_t ipimask) function in typeref:typename:int
181 "xen_send_ipi() called with invalid ipimask\n");
213 if (0 != xen_send_ipi(ci, ipimask)) {
329 if (0 != xen_send_ipi(ci, XEN_IPI_XCALL)) {
330 panic("xen_send_ipi(XEN_IPI_XCALL) failed\n");
343 if (0 != xen_send_ipi(ci, XEN_IPI_GENERIC)) {
344 panic("xen_send_ipi(XEN_IPI_GENERIC) failed\n");

Completed in 12 milliseconds