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

  /src/sys/arch/xen/include/
intrdefs.h 12 #define XEN_IPI_XCALL 0x00000008
  /src/sys/arch/xen/x86/
xen_ipi.c 70 static void xen_ipi_xcall(struct cpu_info *, struct intrframe *);
85 xen_ipi_xcall,
155 uint32_t masks = XEN_IPI_GENERIC | XEN_IPI_HVCB | XEN_IPI_XCALL |
279 xen_ipi_xcall(struct cpu_info *ci, struct intrframe *intrf) function in typeref:typename:void
329 if (0 != xen_send_ipi(ci, XEN_IPI_XCALL)) {
330 panic("xen_send_ipi(XEN_IPI_XCALL) failed\n");
333 xen_broadcast_ipi(XEN_IPI_XCALL);

Completed in 15 milliseconds