HomeSort by: relevance | last modified time | path
    Searched refs:xen_send_ipi (Results 1 - 5 of 5) 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
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");
hypervisor_machdep.c 418 if (xen_send_ipi(ci, XEN_IPI_HVCB)) {
420 "xen_send_ipi(cpu%d id %d, XEN_IPI_HVCB) failed\n",
cpu.c 1279 (void)xen_send_ipi(ci, XEN_IPI_AST);
  /src/sys/arch/x86/x86/
x86_machdep.c 393 xen_send_ipi(ci, XEN_IPI_KPREEMPT);

Completed in 22 milliseconds