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

  /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 104 milliseconds