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

  /src/sys/arch/xen/x86/
xen_ipi.c 72 static void xen_ipi_generic(struct cpu_info *, struct intrframe *);
87 xen_ipi_generic,
155 uint32_t masks = XEN_IPI_GENERIC | XEN_IPI_HVCB | XEN_IPI_XCALL |
297 xen_ipi_generic(struct cpu_info *ci, struct intrframe *intrf) function in typeref:typename:void
343 if (0 != xen_send_ipi(ci, XEN_IPI_GENERIC)) {
344 panic("xen_send_ipi(XEN_IPI_GENERIC) failed\n");
347 xen_broadcast_ipi(XEN_IPI_GENERIC);

Completed in 12 milliseconds